1 files changed, 3 insertions, 3 deletions
diff --git a/doc/style.css b/doc/style.css
index e5aaf65..8e84c8b 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -3,7 +3,7 @@ body {
 	font-family: sans-serif;
 }
 
-.navigation {
+#top {
 	display: none;
 }
 
@@ -433,7 +433,7 @@ table.memberdecls {
 }
 
 .directory div {
-	/*display: none;*/
+	display: none;
 	margin: 0;
 }
 
@@ -463,7 +463,7 @@ table.memberdecls {
 }
 
 .directory-alt div {
-	/*display: none;*/
+	display: none;
 	margin: 0;
 }