Add the headers to the docs, they still need some doc comments.

1 files changed, 1 insertions, 7 deletions

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; }