diff options
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; } |