diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-12-10 11:24:53 -0600 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-12-10 11:24:53 -0600 |
commit | 48be9119ea2bae08b44b711ffd189fe25eeced15 (patch) | |
tree | dbf677244da0a70f40e9947b6d2c20007891050c /src/pretty.css | |
parent | 28c77fd93c4a56be7d6fb63035f053072a3aa967 (diff) | |
download | docs-48be9119ea2bae08b44b711ffd189fe25eeced15.tar.gz docs-48be9119ea2bae08b44b711ffd189fe25eeced15.tar.bz2 docs-48be9119ea2bae08b44b711ffd189fe25eeced15.tar.xz docs-48be9119ea2bae08b44b711ffd189fe25eeced15.zip |
CSS: make other-credits smaller than authors
Diffstat (limited to 'src/pretty.css')
-rw-r--r-- | src/pretty.css | 4 |
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; } |