summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorA. Wilcox <AWilcox@Wilcox-Tech.com>2018-12-05 10:13:00 -0600
committerA. Wilcox <AWilcox@Wilcox-Tech.com>2018-12-05 10:13:00 -0600
commit8221af6fac17b55de3c45765f757005e0e64fc32 (patch)
tree86bb3be4a5571e6ceb7d4d12d26c9e0c33f09e34
parentfe508664b15973295d7766a0b0c623a6d8fe5e27 (diff)
downloaddocs-8221af6fac17b55de3c45765f757005e0e64fc32.tar.gz
docs-8221af6fac17b55de3c45765f757005e0e64fc32.tar.bz2
docs-8221af6fac17b55de3c45765f757005e0e64fc32.tar.xz
docs-8221af6fac17b55de3c45765f757005e0e64fc32.zip
CSS: make all front matter consistent
-rw-r--r--src/pretty.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty.css b/src/pretty.css
index 849d6c8..6191584 100644
--- a/src/pretty.css
+++ b/src/pretty.css
@@ -15,7 +15,7 @@ body {
body { margin: 0 18%; }
}
-h1,h2,h3,h4,h5,h6,div.toc,div.navheader {
+h1,h2,h3,h4,h5,h6,div.navheader,div.toc,div.list-of-tables,div.list-of-examples {
font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif;
}