diff options
author | NunoAlexandre <alexandre.nunomiguel@gmail.com> | 2018-03-20 12:07:39 +0100 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-18 08:14:32 -0700 |
commit | 09fd5bf0a2e17ed51c7bd570ee01810e10e5543b (patch) | |
tree | eaf214e9056c56a7ffabdf9d3246e8c63c0141ca /haddock-api/resources/html/NewOcean.std-theme | |
parent | fb7aaf0f48399607b8781f2d611cd3186936e72e (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/html/NewOcean.std-theme')
-rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 14 |
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; |