diff options
Diffstat (limited to 'static')
| -rw-r--r-- | static/css/fonts.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/static/css/fonts.css b/static/css/fonts.css index aed92b83..82a8bcd7 100644 --- a/static/css/fonts.css +++ b/static/css/fonts.css @@ -15,10 +15,14 @@ font-style: normal; } -/* pre, +.linenos, code { font-family: "Comic Code Regular", sans-serif; -} */ +} + +.linenos > .linenodiv > pre { + line-height: 125%; +} .en { font-family: "Mali", sans-serif; |