diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-10 14:35:10 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-10 14:35:10 -0800 |
commit | f4d53a159642aa9182241259709659e7074425d5 (patch) | |
tree | bd149a37f465ea9d94f32108992380d4352cd4db /haddock-api/resources/html/Classic.theme/xhaddock.css | |
parent | 8a491e437f1c8379b66a420f8584c1761b45aa7e (diff) | |
parent | 6e281ee1dfc994c40775eda044992980738d044e (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.css | 1 |
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 { |