diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 17:31:09 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 17:31:09 -0700 |
| commit | a69311708493efe8524aed0e9d19365f79f2fab3 (patch) | |
| tree | c9f1f4b9dd9e1469bac811ce9ea563a40f4cab1c /haddock-api/resources/html/Classic.theme | |
| parent | 67a142271f6a590a4307d30ac5c5359632ff21c4 (diff) | |
Resurrect the style-switcher
This fixes #810. Looks like things were broken during the quickjump
refactor of the JS.
For the (git) record: I do not think the style switcher is a good idea.
I'm fixing it for the same reason @mzero added it; as an answer to
"rumblings from some that they didn't want their pixels changed on bit"
Diffstat (limited to 'haddock-api/resources/html/Classic.theme')
| -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 { |