diff options
author | Mariano Guerra <[email protected]> | 2016-10-21 12:41:34 +0100 |
---|---|---|
committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
commit | 0e6d53ca9790b8cc8ea8cf87e73b1ad052364231 (patch) | |
tree | f432660eb8210ec3301a317441f0590761ce5954 | |
parent | d621aa8ab3420de2abaf7d839808b7e62f56ec61 (diff) | |
download | otp-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.css | 6 |
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 } |