aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--html/shaddock.css39
-rw-r--r--html/thaddock.css67
2 files changed, 103 insertions, 3 deletions
diff --git a/html/shaddock.css b/html/shaddock.css
index 7be02966..4a46dd45 100644
--- a/html/shaddock.css
+++ b/html/shaddock.css
@@ -163,7 +163,9 @@ p.caption, h1, h2, h3, h4 {
h1,
#description .caption,
-#synopsis .caption {
+#synopsis .caption,
+#index .caption,
+#module-list .caption {
padding-top: 14px;
margin-bottom: 0;
font-weight: bold;
@@ -171,14 +173,16 @@ h1,
font-size: 140%
}
-h2 {
+h2
+{
padding-top: 14px;
font-weight: bold;
letter-spacing: -0.02em;
font-size: 120%
}
-h3 {
+h3,
+#mini #module-list .caption {
padding-top: 12px;
font-weight: bold;
letter-spacing: -0.02em;
@@ -385,5 +389,34 @@ div.arguments {
background-color: #6060ff
}
+#index td {
+ background-color: #f0f0f0;
+ padding-left: 1em;
+ padding-right: 1em;
+}
+#index td.alt {
+ font-size: 70%;
+ font-style: italic;
+ padding-left: 3em;
+}
+
+body#mini {
+ width: auto;
+ padding: 0;
+ background-color: #ffffff;
+ color: #000000;
+ font-size: 90%;
+ font-family: DroidSerif, Georgia, serif;
+ margin: 0.5em;
+}
+
+#mini div {
+ padding: 0 10px;
+}
+
+#module-list ul {
+ list-style: none;
+ margin-top: 0.5em;
+} \ No newline at end of file
diff --git a/html/thaddock.css b/html/thaddock.css
index fc7cac09..f09fc546 100644
--- a/html/thaddock.css
+++ b/html/thaddock.css
@@ -276,3 +276,70 @@ dd {
padding-right: 1em;
padding-left: 1em;
}
+
+#index .caption,
+#module-list .caption {
+ font-size:130%;
+ font-weight:bold;
+ padding: 0;
+ top:0;
+ margin: 0.5em 0;
+}
+
+#index table {
+ border-spacing: 0;
+}
+#index td {
+ padding-right: 1em;
+ border-top: 1px solid #eaeaea;
+ padding-top: 2px;
+ padding-bottom: 2px;
+}
+
+#index td.alt {
+ padding-left: 2em;
+ font-style: italic;
+ font-size: 80%;
+}
+
+.module {
+}
+
+#mini {
+ padding: 0;
+ margin: 0 0 0 10px;
+}
+
+#mini h1, #mini h2, #mini h3, #mini h4 {
+ margin-top: 0.5em;
+ color: #a9a9a9;
+}
+
+#mini h1 {
+ background-color: #eff2f9;
+}
+
+#module-list ul {
+ list-style: none;
+ margin: 0 0 0 -10px;
+ padding: 0;
+}
+
+#module-list li {
+ margin: 0;
+ border-top: 1px solid #eaeaea;
+ padding-top: 2px;
+ padding-bottom: 2px;
+ padding-left: 10px;
+}
+
+#mini #interface .top,
+#mini #interface .src {
+ margin-top: 2px;
+ font-weight: normal;
+ font-style: normal;
+}
+
+#mini #interface .src a {
+ font-weight: bold;
+} \ No newline at end of file