commit 0995a81b8b59b627654ecbf55fa86cd8e98161c6 (tree)
parent d6b7d9090ef8ed4f8672b03c6c7c0c11c3c02316
Author: Andrew Kelley <superjoe30@gmail.com>
Date: Tue, 30 Jan 2018 10:31:01 -0500
langref: remove page title header
Diffstat:
1 file changed, 0 insertions(+), 6 deletions(-)
diff --git 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 @@
</style>
</head>
<body>
- <h1 class="page-title">Zig Documentation</h1>
<div id="nav">
<h3>Index</h3>
{#nav#}