aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Classic.theme/xhaddock.css
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-10 14:35:10 -0800
committerGitHub <noreply@github.com>2018-11-10 14:35:10 -0800
commitf4d53a159642aa9182241259709659e7074425d5 (patch)
treebd149a37f465ea9d94f32108992380d4352cd4db /haddock-api/resources/html/Classic.theme/xhaddock.css
parent8a491e437f1c8379b66a420f8584c1761b45aa7e (diff)
parent6e281ee1dfc994c40775eda044992980738d044e (diff)
Merge pull request #949 from haskell/wip/new-ocean
Introduce NewOcean theme.
Diffstat (limited to 'haddock-api/resources/html/Classic.theme/xhaddock.css')
-rw-r--r--haddock-api/resources/html/Classic.theme/xhaddock.css1
1 files changed, 1 insertions, 0 deletions
diff --git a/haddock-api/resources/html/Classic.theme/xhaddock.css b/haddock-api/resources/html/Classic.theme/xhaddock.css
index b8164815..e7488cd2 100644
--- a/haddock-api/resources/html/Classic.theme/xhaddock.css
+++ b/haddock-api/resources/html/Classic.theme/xhaddock.css
@@ -153,6 +153,7 @@ div#style-menu-holder {
text-align: center;
right: 0;
padding: 2px 2px 1px;
+ top: 1.25em;
}
#style-menu li {