diff options
Diffstat (limited to 'site/style/main.css')
-rw-r--r-- | site/style/main.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/style/main.css b/site/style/main.css index 638583d..aadd9b0 100644 --- a/site/style/main.css +++ b/site/style/main.css @@ -37,7 +37,7 @@ body#default { /* coqdoc output */ -body#default .code, code { +body#default .code, code, pre { font-family: 'Fira Code', monospace; } |