diff options
Diffstat (limited to 'lib/erl_docgen')
| -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 } |