From e834a842836343a18aee81aa82ce0da4e65d9104 Mon Sep 17 00:00:00 2001
From: Mike Wey
Date: Mon, 12 Sep 2011 22:57:09 +0200
Subject: Add the headers to the docs, they still need some doc comments.

---
 docs/style.css | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'docs/style.css')

diff --git a/docs/style.css b/docs/style.css
index 21eecfc..c93c492 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -19,6 +19,7 @@ div#navigation
 	font-size: 0.875em;
 	float: left;
 	padding: 0 1.5em;
+	margin-bottom: 2em;
 }
 
 div#navigation h2
@@ -201,10 +202,3 @@ a:visited
 
 /* Focal symbol that is being documented */
 .ddoc_psymbol { color: #336600; }
-
-.red    { color: red; }
-.green  { color: green; }
-.blue   { color: blue; }
-.yellow { color: yellow; }
-.black  { color: black; }
-.white  { color: white; }
-- 
cgit v1.2.3