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; }