diff options
Diffstat (limited to 'web')
-rw-r--r-- | web/pandoc.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/web/pandoc.css b/web/pandoc.css index ea9dd8b9c..521234be7 100644 --- a/web/pandoc.css +++ b/web/pandoc.css @@ -19,7 +19,6 @@ pre { } code { font-family: monospace; - font-size: 110%; } h1 a, h2 a, h3 a, h4 a, h5 a { text-decoration: none; |