1 files changed, 16 insertions, 8 deletions
diff --git a/make/doc/javadoc/stylesheet.css b/make/doc/javadoc/stylesheet.css
index 9f63956..f767ab6 100644
--- a/make/doc/javadoc/stylesheet.css
+++ b/make/doc/javadoc/stylesheet.css
@@ -9,7 +9,8 @@ body {
     background-color:#f5f5f5;
     color:#111111;
     font-family:Arial, Helvetica, sans-serif;
-    font-size:76%;
+    font-size:80%;
+    line-height:1.4;
     margin:0;
 }
 a:link, a:visited {
@@ -52,8 +53,19 @@ h5 {
 h6 {
     font-size:1.1em;
 }
+ol {
+    list-style-type:decimal;
+    padding: 0em 0em 0em 1.2em;
+}
 ul {
     list-style-type:disc;
+    padding: 0em 0em 0em 1.2em;
+}
+ol li {
+    margin-bottom:0.5em;
+}
+ul li {
+    margin-bottom:0.5em;
 }
 code, tt {
     font-size:1.2em;
@@ -202,17 +214,13 @@ Page header and footer styles
     margin:5px 0 0 0;
 }
 .header ul {
-    margin:0 0 25px 0;
-    padding:0;
+    margin:0.5em 0 0.5em 0;
 }
 .footer ul {
-    /* margin:20px 0 5px 0; */
-    margin:5px 0 5px 0;
+    margin:0.5em 0 0.5em 0;
 }
 .header ul li, .footer ul li {
-    list-style-type:disc;
-    padding:5px 0px;
-    font-size:90%
+    margin:0.5em 0 0.5em 0;
 }
 /*
 Heading styles