aboutsummaryrefslogtreecommitdiffstats
path: root/make/doc
diff options
context:
space:
mode:
Diffstat (limited to 'make/doc')
-rw-r--r--make/doc/javadoc/stylesheet.css20
1 files changed, 14 insertions, 6 deletions
diff --git a/make/doc/javadoc/stylesheet.css b/make/doc/javadoc/stylesheet.css
index 51ac3b3..a8ad093 100644
--- a/make/doc/javadoc/stylesheet.css
+++ b/make/doc/javadoc/stylesheet.css
@@ -52,8 +52,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,16 +213,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;
+ margin:0.5em 0 0.5em 0;
}
/*
Heading styles