diff options
| -rw-r--r-- | src/pretty.css | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/pretty.css b/src/pretty.css index 6191584..3ecd03b 100644 --- a/src/pretty.css +++ b/src/pretty.css @@ -15,7 +15,9 @@ body { body { margin: 0 18%; } } -h1,h2,h3,h4,h5,h6,div.navheader,div.toc,div.list-of-tables,div.list-of-examples { +h1,h2,h3,h4,h5,h6, +div.navheader,div.navfooter, +div.toc,div.list-of-tables,div.list-of-examples { font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif; } |