summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorA. Wilcox <AWilcox@Wilcox-Tech.com>2018-12-10 11:24:53 -0600
committerA. Wilcox <AWilcox@Wilcox-Tech.com>2018-12-10 11:24:53 -0600
commit48be9119ea2bae08b44b711ffd189fe25eeced15 (patch)
treedbf677244da0a70f40e9947b6d2c20007891050c
parent28c77fd93c4a56be7d6fb63035f053072a3aa967 (diff)
downloaddocs-48be9119ea2bae08b44b711ffd189fe25eeced15.tar.gz
docs-48be9119ea2bae08b44b711ffd189fe25eeced15.tar.bz2
docs-48be9119ea2bae08b44b711ffd189fe25eeced15.tar.xz
docs-48be9119ea2bae08b44b711ffd189fe25eeced15.zip
CSS: make other-credits smaller than authors
-rw-r--r--src/pretty.css4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/pretty.css b/src/pretty.css
index 3ecd03b..2066874 100644
--- a/src/pretty.css
+++ b/src/pretty.css
@@ -21,6 +21,10 @@ div.toc,div.list-of-tables,div.list-of-examples {
font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif;
}
+div.othercredit {
+ font-size: smaller;
+}
+
h2 {
margin-top: 2.5em;
}