summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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;
}