From cbdd265a0fd6472e4caf7a8b48bf0e1e29cfde4f Mon Sep 17 00:00:00 2001 From: gered Date: Sun, 26 May 2013 10:58:42 -0400 Subject: [PATCH] change code/preformatted text font face --- resources/public/css/screen.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/resources/public/css/screen.css b/resources/public/css/screen.css index a00a767..dcb2319 100644 --- a/resources/public/css/screen.css +++ b/resources/public/css/screen.css @@ -4,6 +4,10 @@ body { margin-top: 10px; } +code, pre { + font-family: "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Consolas, "Liberation Mono", Courier, monospace; +} + .error { color: red; }