From 0e6d53ca9790b8cc8ea8cf87e73b1ad052364231 Mon Sep 17 00:00:00 2001 From: Mariano Guerra Date: Fri, 21 Oct 2016 12:41:34 +0100 Subject: use mono as first font family for code --- lib/erl_docgen/priv/css/otp_doc.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/erl_docgen/priv/css') 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 } -- cgit v1.2.3