diff --git a/src/default.css b/src/default.css
index 8e2d32c..7bc4063 100644
--- a/src/default.css
+++ b/src/default.css
@@ -76,18 +76,19 @@ table td {
 }
 
 #footer { 
+   font-size: 69%;
 }
 
 #body { 
-  width: 36em;
-  margin-top: 1em;
-  padding-left: 1em;
-  text-align: justify;
-  line-height: 1.8em;
+   width: 36em;
+   margin-top: 1em;
+   padding-left: 1em;
+   text-align: justify;
+   line-height: 1.8em;
 }
 
 #fn0, #fn1, #fn2, #fn3 {
-  border-top: thin dotted #594d3c;
+   border-top: thin dotted #594d3c;
 }
 
 /* bar, navigation, bibliography and generic alignment classes */
@@ -105,26 +106,6 @@ table td {
 .bar a:link    { color: #ffffff; background-color: inherit; }
 .bar a:visited { color: #ffffff; background-color: inherit; }
 
-.nav { 
-  color: inherit;
-  background-color: #ffefd6;
-  margin: 0.5em -0.5em;
-  margin-right: 0em;
-  padding: 0em 0.5em;
-}
-
-.bib-item { 
-  padding-left: 2em;
-  font-size: smaller;
-  line-height: 1.6em;
-}
-.bib-id { 
-  margin-left: -2em; 
-  margin-right: 1em; 
-  color: inherit;
-  background-color: #d6d6ff;
-}
-
 .small {
    font-size: smaller;
 }