From 463f6d41ba98c85a73abde451f6e75f67af8768a Mon Sep 17 00:00:00 2001 From: "A. Wilcox" Date: Wed, 5 Dec 2018 10:17:21 -0600 Subject: CSS: . --- src/pretty.css | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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; } -- cgit v1.2.3-60-g2f50