aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMariano Guerra <[email protected]>2016-10-21 12:41:34 +0100
committerMariano Guerra <[email protected]>2017-03-13 11:51:52 +0100
commit0e6d53ca9790b8cc8ea8cf87e73b1ad052364231 (patch)
treef432660eb8210ec3301a317441f0590761ce5954
parentd621aa8ab3420de2abaf7d839808b7e62f56ec61 (diff)
downloadotp-0e6d53ca9790b8cc8ea8cf87e73b1ad052364231.tar.gz
otp-0e6d53ca9790b8cc8ea8cf87e73b1ad052364231.tar.bz2
otp-0e6d53ca9790b8cc8ea8cf87e73b1ad052364231.zip
use mono as first font family for code
-rw-r--r--lib/erl_docgen/priv/css/otp_doc.css6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/erl_docgen/priv/css/otp_doc.css b/lib/erl_docgen/priv/css/otp_doc.css
index bdb0db5e30..5430a17e22 100644
--- a/lib/erl_docgen/priv/css/otp_doc.css
+++ b/lib/erl_docgen/priv/css/otp_doc.css
@@ -64,8 +64,8 @@ a:visited { color: blue; text-decoration: none }
margin: 15px; /* Magins for inner DIV inside each DIV (to provide padding) */
}
-span.bold_code { font-family: Courier, monospace; font-weight: bold }
-span.code { font-family: Courier, monospace; font-weight: normal }
+span.bold_code { font-family: mono, Courier, monospace; white-space: pre; font-weight: bold }
+span.code { font-family: mono, Courier, monospace; white-space: pre; font-weight: normal }
.note, .warning, .do, .dont {
border: solid #3E4349 1px;
@@ -138,7 +138,7 @@ span.code { font-family: Courier, monospace; font-weight: normal }
font-size: 120%;
}
-pre { font-family: Courier, monospace; font-weight: normal }
+pre { font-family: mono, Courier, monospace; font-weight: normal }
.REFBODY { margin-left: 13mm }