From 153cf9b9c67f3b43a1b2b28a07000b9d9be0f26b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Mon, 12 Oct 2015 17:00:56 +0200
Subject: Remove unused CSS styles from the guide

---
 templates/guide_header.tpl | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/templates/guide_header.tpl b/templates/guide_header.tpl
index 30fb2a0..8d6160d 100644
--- a/templates/guide_header.tpl
+++ b/templates/guide_header.tpl
@@ -14,11 +14,6 @@ main h2, main h3{margin-top:2em}
 a{color:#d9230f;text-decoration:none}
 a:hover{text-decoration:underline}
 h1, h2, h3{font-weight:normal}
-h1 a{color:black}
-h1 a:hover{color:#d9230f;text-decoration:none}
-span.var{color:teal}
-span.op{color:maroon}
-span.dir{color:purple}
 div.navfooter{margin-bottom:1em}
 --></style>
 </head>
-- 
cgit v1.2.3