aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--html/xhaddock.css48
1 files changed, 42 insertions, 6 deletions
diff --git a/html/xhaddock.css b/html/xhaddock.css
index d6ba70b8..8f4d71e1 100644
--- a/html/xhaddock.css
+++ b/html/xhaddock.css
@@ -38,7 +38,7 @@ h3 {
font-size: 110%
}
-h4 {
+h4, h5 {
font-weight: bold;
font-size: 100%
}
@@ -62,7 +62,7 @@ pre {
margin-bottom: 1em;
}
-h1 + p, h2 + p, h3 + p, h4 + p {
+h2 + p, h3 + p, h4 + p {
margin-top: 1em;
}
@@ -152,9 +152,7 @@ div.table-of-contents ul {
}
ul.synopsis {
- margin-top: 1em;
- margin-bottom: 1em;
- margin-left: 10px;
+ margin-left: 0px;
}
ul.synopsis li {
background-color: #f0f0f0;
@@ -166,6 +164,28 @@ ul.synopsis li {
list-style-type: none;
}
+ul.synopsis li ul {
+ margin: 0;
+ padding-top: 0;
+}
+
+ul.synopsis li ul li {
+ margin: 0;
+ padding: 0;
+}
+
+
+div.decldoc {
+ margin-top: 1em;
+}
+
+div.decldoc h5 {
+ margin-left: 10px;
+}
+
+div.decldoc table {
+ margin-left: 20px;
+}
p.decl {
padding: 3px;
@@ -219,13 +239,29 @@ ul.inst li {
list-style-type: none;
}
+td.arg {
+ padding: 3px;
+ background-color: #f0f0f0;
+ font-family: monospace;
+ margin-bottom: 0;
+}
+
+td.rdoc p {
+ margin-bottom: 0;
+}
+
div.bottom {
background-color: #000099;
color: #ffffff;
- padding: 5px
+ padding: 4px
}
+
+div.bottom p {
+ margin-bottom: 0;
+}
+
div.bottom a:link {
color: #ffffff;
text-decoration: underline