diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 21:46:13 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 21:46:13 +0100 |
commit | cdba2c81167350e5191a3518af12e8961732acf3 (patch) | |
tree | b8088f7dbd2158979451a51b2c0c0573923d8907 /site/style | |
parent | Tweak the CSS (diff) |
Rework StronglySpecifiedFunctionsProgram.v
Diffstat (limited to 'site/style')
-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; } |