aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources
diff options
context:
space:
mode:
authorNunoAlexandre <alexandre.nunomiguel@gmail.com>2018-03-20 12:07:39 +0100
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commit09fd5bf0a2e17ed51c7bd570ee01810e10e5543b (patch)
treeeaf214e9056c56a7ffabdf9d3246e8c63c0141ca /haddock-api/resources
parentfb7aaf0f48399607b8781f2d611cd3186936e72e (diff)
Minor adjustments
Bring in some adjustments made to hackage: - link colors - page header show everything when package title is too long
Diffstat (limited to 'haddock-api/resources')
-rw-r--r--haddock-api/resources/html/NewOcean.std-theme/new-ocean.css14
1 files changed, 11 insertions, 3 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 09bf0c95..fc99a662 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: #9C5791;}
-a[href]:visited {color: #5E3558;}
+a[href]:link {color: #9E358F;}
+a[href]:visited {color: #805A75;}
a[href]:hover { text-decoration:underline; }
a[href].def:link, a[href].def:visited { color: rgba(69, 59, 97, 0.8); }
@@ -73,7 +73,7 @@ body.js-enabled .hide-when-js-enabled {
@media only screen and (min-width: 1280px) {
#content {
- width: 62vw;
+ width: 70vw;
max-width: 1450px;
}
@@ -133,6 +133,14 @@ body.js-enabled .hide-when-js-enabled {
The package name Source . Contents . Index
*/
@media only screen and (min-width: 1000px) {
+ #package-header {
+ text-align: left;
+ overflow: visible;
+ white-space: nowrap;
+ display: inline-table;
+ width: 100%;
+ }
+
#package-header .caption {
display: inline-block;
margin: 3px 1em 2px 2em;