aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html
diff options
context:
space:
mode:
authorNuno Alexandre <nuno@channable.com>2018-04-14 14:14:33 +0200
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commitf3538ac7cc86682e6edba8a0c5c20dd09fc944d9 (patch)
tree5c5377046c2ee508924686bf026cbfef45073fa3 /haddock-api/resources/html
parent7a0246da8fb0e5178c5e4e9af47d75a02455e56a (diff)
Misc of tweaks
- Update link colors to hackage scheme - Tune spacing between content elements - Update footer style - Fix and improve code blocks identation
Diffstat (limited to 'haddock-api/resources/html')
-rw-r--r--haddock-api/resources/html/NewOcean.std-theme/new-ocean.css42
1 files changed, 32 insertions, 10 deletions
diff --git a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
index 2fb6ee65..1728eb9e 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -47,8 +47,8 @@ dd {
}
a { text-decoration: none; }
-a[href]:link {color: #9E358F;}
-a[href]:visited {color: #805A75;}
+a[href]:link { color: #9E358F; }
+a[href]:visited {color: #6F5F9C; }
a[href]:hover { text-decoration:underline; }
a[href].def:link, a[href].def:visited { color: rgba(69, 59, 97, 0.8); }
@@ -300,12 +300,24 @@ h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 {
margin-top: inherit;
}
-p + ul {
- margin-top: 1em;
+ul li + li {
+ margin-top: 0.2rem;
}
ul + p {
- margin-top: 2em;
+ margin-top: 0.93em;
+}
+
+p + ul {
+ margin-top: 0.5em;
+}
+
+p {
+ margin-top: 0.7rem;
+}
+
+ul, ol {
+ margin: 0.8em 0 0.8em 2em;
}
ul.links {
@@ -487,15 +499,16 @@ div#style-menu-holder {
}
#footer {
- background: #ddd;
+ background: #ededed;
border-top: 1px solid #aaa;
padding: 0.5em 0;
- color: #666;
+ color: #222;
text-align: center;
- position: absolute;
width: 100%;
height: 3em;
- margin-top: 6em;
+ margin-top: 3em;
+ position: relative;
+ clear: both;
}
/* @end */
@@ -507,6 +520,10 @@ div#style-menu-holder {
font-size: 1rem;
}
+#synopsis, #table-of-contents {
+ font-size: 16px;
+}
+
#table-of-contents {
background: #f7f7f7;
padding: 1em;
@@ -527,7 +544,7 @@ div#style-menu-holder {
}
#table-of-contents ul ul {
- margin-left: 2em;
+ margin-left: 1.5em;
}
#description .caption {
@@ -651,6 +668,11 @@ div#style-menu-holder {
visibility: hidden;
}
+.subs {
+ padding-left: 1em;
+ border-left: 1px solid gainsboro;
+}
+
.subs ul {
list-style: none;
display: table;