aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
Diffstat (limited to 'html')
-rw-r--r--html/shaddock.css22
-rw-r--r--html/thaddock.css26
-rw-r--r--html/xhaddock.css26
3 files changed, 67 insertions, 7 deletions
diff --git a/html/shaddock.css b/html/shaddock.css
index 4a46dd45..8ab3e57d 100644
--- a/html/shaddock.css
+++ b/html/shaddock.css
@@ -389,6 +389,24 @@ div.arguments {
background-color: #6060ff
}
+
+#alphabet ul {
+ list-style: none;
+ padding: 0;
+ margin: 0.5em 0 0;
+ font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif;
+ font-weight: bold;
+}
+
+#alphabet li {
+ display: inline;
+ margin: 0 0.25em;
+}
+
+#alphabet a {
+ text-decoration: none;
+}
+
#index td {
background-color: #f0f0f0;
padding-left: 1em;
@@ -419,4 +437,8 @@ body#mini {
#module-list ul {
list-style: none;
margin-top: 0.5em;
+}
+
+#module-list .package {
+ float: right;
} \ No newline at end of file
diff --git a/html/thaddock.css b/html/thaddock.css
index f09fc546..79b8767a 100644
--- a/html/thaddock.css
+++ b/html/thaddock.css
@@ -302,6 +302,22 @@ dd {
font-size: 80%;
}
+#alphabet ul {
+ list-style: none;
+ padding: 0;
+ margin: 0.5em 0 0;
+}
+
+#alphabet li {
+ display: inline;
+ margin: 0 0.25em;
+}
+
+#alphabet a {
+ text-decoration: none;
+ font-weight: bold;
+}
+
.module {
}
@@ -321,16 +337,18 @@ dd {
#module-list ul {
list-style: none;
- margin: 0 0 0 -10px;
padding: 0;
+ margin: 0;
}
#module-list li {
margin: 0;
border-top: 1px solid #eaeaea;
- padding-top: 2px;
- padding-bottom: 2px;
- padding-left: 10px;
+ padding: 2px 0 2px 1.4em;
+}
+
+#module-list li .package {
+ float: right;
}
#mini #interface .top,
diff --git a/html/xhaddock.css b/html/xhaddock.css
index 2fca2aed..695acc43 100644
--- a/html/xhaddock.css
+++ b/html/xhaddock.css
@@ -195,7 +195,8 @@ dl.info dd {
#description .caption,
#synopsis .caption,
-#module-list .caption {
+#module-list .caption,
+#index .caption {
padding-top: 15px;
font-weight: bold;
font-size: 150%
@@ -387,16 +388,35 @@ td.rdoc p {
#module-list ul {
list-style: none;
- margin-left: 10px;
padding-bottom: 15px;
+ padding-left: 2px;
+ margin: 0;
+}
+
+#module-list ul ul {
+ padding-bottom: 0;
+ padding-left: 20px;
}
+#module-list li .package {
+ float: right;
+}
#mini #module-list .caption {
display: none;
}
#index .caption {
- display: none;
+}
+
+#alphabet ul {
+ list-style: none;
+ padding: 0;
+ margin: 0.5em 0 0;
+}
+
+#alphabet li {
+ display: inline;
+ margin: 0 0.2em;
}
#index .src {