diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-25 22:02:07 -0700 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-25 22:02:07 -0700 |
commit | 949fe2d9eda0338dde8c0d3e98d0ebe7e2876205 (patch) | |
tree | 39f42a0dba86ce75c21fca23e07499884008514a /haddock-api/resources/html/NewOcean.std-theme | |
parent | 6a5ebcc1511779f8ee7cae8cd45308ffd449b71a (diff) |
Indent more things + slightly smaller font
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme')
-rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 4 |
1 files changed, 2 insertions, 2 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 6751d15b..8416176c 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -235,7 +235,7 @@ Display the package name on top of the menu links and center both elements: */ body, button { - font: 400 17px/1.43 'PT Sans', + font: 400 15px/1.4 'PT Sans', /* Fallback Font Stack */ -apple-system, BlinkMacSystemFont, @@ -672,7 +672,7 @@ div#style-menu-holder { visibility: hidden; } -.subs { +.subs, .top > .doc, .subs > .doc { padding-left: 1em; border-left: 1px solid gainsboro; margin-bottom: 1em; |