aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/NewOcean.std-theme
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-10-25 22:02:07 -0700
committerAlec Theriault <alec.theriault@gmail.com>2018-10-25 22:02:07 -0700
commit949fe2d9eda0338dde8c0d3e98d0ebe7e2876205 (patch)
tree39f42a0dba86ce75c21fca23e07499884008514a /haddock-api/resources/html/NewOcean.std-theme
parent6a5ebcc1511779f8ee7cae8cd45308ffd449b71a (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.css4
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;