From 0995a81b8b59b627654ecbf55fa86cd8e98161c6 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Tue, 30 Jan 2018 10:31:01 -0500 Subject: [PATCH] langref: remove page title header --- doc/langref.html.in | 6 ------ 1 file changed, 6 deletions(-) diff --git a/doc/langref.html.in b/doc/langref.html.in index 8286ef3cb9..bd3fb41340 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -61,11 +61,6 @@ padding: 1em; padding-left: 24em; } - .page-title { - /* half-size since h1 */ - padding-left: 12em; - margin-bottom: 2em; - } } /* Mobile */ @media screen and (max-width: 56.25em) { @@ -79,7 +74,6 @@ -

Zig Documentation