com web/shared: Increase font-size of monospace fonts: styles/wiki.css

From: Date: Sun, 29 Apr 2018 19:17:15 +0000
Subject: com web/shared: Increase font-size of monospace fonts: styles/wiki.css
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-26953@lists.php.net to get a copy of this message
Commit: 2745879c115ec96ec2fd18662cbe12aa788fed41 Author: Levi Morrison <levim@php.net> Sun, 29 Apr 2018 13:16:15 -0600 Parents: 22d038d9032d4a40edec35ebb76f93c36f7f6333 Branches: master Link: http://git.php.net/?p=web/shared.git;a=commitdiff;h=2745879c115ec96ec2fd18662cbe12aa788fed41 Log: Increase font-size of monospace fonts The sans-serif added to the end fixes a font-size issue. Changed paths: M styles/wiki.css Diff: diff --git a/styles/wiki.css b/styles/wiki.css index a7f1770..9248617 100644 --- a/styles/wiki.css +++ b/styles/wiki.css @@ -718,10 +718,9 @@ div.code pre.codeShown{display:block;} /* The main preformatted block containing the hilighted code */ -pre, -code { - font: normal .875rem/1.5rem "Source Code Pro", "Courier New", Courier, monospace; -} +/* Adding sans-serif on the end fixes some font-size issues */ +pre, code { font-family: "Source Code Pro", "Courier New", Courier, monospace, sans-serif } + pre.code { background: #fff; box-shadow:inset 0 0 0 1px rgba(0,0,0,.15);

« previous php.webmaster (#26953) next »