diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 17:56:17 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 17:56:17 +0100 |
| commit | f84ddf06c9daf86a2e15bf44cf877ce2324967cf (patch) | |
| tree | 6dc24b56fdf8d99d0d798c25621ae4f205af57a3 /haddock-api/resources/html/Ocean.std-theme/ocean.css | |
| parent | 228a0d72baa04be161b0fc918266f2edb0c6519b (diff) | |
| parent | 8410dd341a1730f708af3f0d96d13f2b5f7b9df5 (diff) | |
Merge branch 'anchors-redux'
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/ocean.css')
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 139335ac..fcf23810 100644 --- a/haddock-api/resources/html/Ocean.std-theme/ocean.css +++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css @@ -381,21 +381,16 @@ div#style-menu-holder { #interface h5 + div.top { margin-top: 1em; } -#interface p.src .link { +#interface .src .selflink, +#interface .src .link { float: right; color: #919191; - border-left: 1px solid #919191; background: #f0f0f0; padding: 0 0.5em 0.2em; - margin: 0 -0.5em 0 0.5em; + margin: 0 -0.5em 0 0; } - -#interface td.src .link { - float: right; - color: #919191; +#interface .src .selflink { border-left: 1px solid #919191; - background: #f0f0f0; - padding: 0 0.5em 0.2em; margin: 0 -0.5em 0 0.5em; } |