diff --git a/doc/langref.html.in b/doc/langref.html.in index 8286ef3cb915e23180f5bef1ee090c1d40d608d8..bd3fb413401568f3da6febd03fb874938e162a26 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 @@
-