From 85c9717dee2a701d0f5e27c5797ac1928bc4de28 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 3 Mar 2014 19:23:14 -0500 Subject: [PATCH] Always use a monospace font, even on old browsers. --- pkgs/plt-web-pkgs/plt-web-lib/resources/css/gumby.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-web-pkgs/plt-web-lib/resources/css/gumby.css b/pkgs/plt-web-pkgs/plt-web-lib/resources/css/gumby.css index d0ff9db63d..b192731102 100644 --- a/pkgs/plt-web-pkgs/plt-web-lib/resources/css/gumby.css +++ b/pkgs/plt-web-pkgs/plt-web-lib/resources/css/gumby.css @@ -147,7 +147,7 @@ abbr, acronym { text-transform: uppercase; font-size: 90%; color: #222; border-b abbr { text-transform: none; } -pre, code { color: black; font-family: 'Inconsolata'; } +pre, code { color: black; font-family: 'Inconsolata', monospace; } /** Print styles. Inlined to avoid required HTTP connection: www.phpied.com/delay-loading-your-print-css/ Credit to Paul Irish and HTML5 Boilerplate (html5boilerplate.com) */ @media print { * { background: transparent !important; color: black !important; text-shadow: none !important; filter: none !important; -ms-filter: none !important; }