diff options
| -rw-r--r-- | src/pretty.css | 2 |
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; } |