aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorMark Lentczner <markl@glyphic.com>2010-07-23 21:07:19 +0000
committerMark Lentczner <markl@glyphic.com>2010-07-23 21:07:19 +0000
commit79d6c9a259c1e3a673cc833b7b1b7f0835b76eba (patch)
treeecffb7d3da9566f5cb01f84bef20ade459629bf7 /html
parent34be96e559e88f555c5b4180d62bd65b1369dced (diff)
tweak look of mini pages, keywords, and preblocks
Diffstat (limited to 'html')
-rw-r--r--html/nhaddock.css26
1 files changed, 21 insertions, 5 deletions
diff --git a/html/nhaddock.css b/html/nhaddock.css
index 2bb5c1c8..721e1d9f 100644
--- a/html/nhaddock.css
+++ b/html/nhaddock.css
@@ -81,6 +81,7 @@ pre {
padding: 0.5em;
margin: 0.5em 5em 0.5em 3em;
background: rgb(229,237,244);
+ overflow: auto;
}
code { /* background: #f0f0f0; */ }
@@ -88,7 +89,6 @@ code { /* background: #f0f0f0; */ }
.src {
font-family: monospace;
line-height: normal;
- white-space: nowrap;
background: #f0f0f0;
padding: 0.2em 0.5em;
}
@@ -97,7 +97,7 @@ code { /* background: #f0f0f0; */ }
margin-top: 1em;
}
-.keyword { font-weight: bold; }
+.keyword { font-weight: normal; }
.def { font-weight: bold; }
img.coll {
@@ -254,6 +254,9 @@ div#style-menu-holder {
vertical-align: top;
padding-left: 0.5em;
}
+#interface td.src {
+ white-space: nowrap;
+}
#interface td.doc p {
margin: 0;
}
@@ -321,18 +324,31 @@ div.top .subs, div.top .doc {
/* @group Auxillary Pages */
+#mini {
+ font-size: 75%;
+}
+
+#mini #module-header .caption {
+ font-size: 160%;
+}
+
#mini #interface h1,
#mini #interface h2,
#mini #interface h3,
-#mini #interface h4
-{
- margin-bottom: 0;
+#mini #interface h4 {
+ font-size: 130%;
+ margin: 1em 0 0;
}
+
#mini #interface .top,
#mini #interface .src {
margin: 0;
}
+#mini #interface .src {
+ font-size: 120%;
+}
+
#mini #module-list ul {
list-style: none;
margin: 0;