commit 33e39422b382593eedc96d2143441043c87310e1 parent 1c2079db53605b2be85ea4dbf41eba8398fd8c2d Author: marloes <marloes@kuri.mu> Date: Mon Jun 20 18:23:16 +0200 smaller fontDiffstat:
| local.css | | | 3 | ++- |
diff --git a/local.css b/local.css @@ -4,5 +4,6 @@ body { padding: 0 10px; } pre { - font-family: Courier; + font-size: 9pt; + font-family: Courier; }