File 2703-use-mono-as-first-font-family-for-code.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2703-use-mono-as-first-font-family-for-code.patch of Package erlang (Revision 1df3ed72f7aa9edd3e18418a69795124)

Currently displaying revision 1df3ed72f7aa9edd3e18418a69795124 , Show latest

From 0e6d53ca9790b8cc8ea8cf87e73b1ad052364231 Mon Sep 17 00:00:00 2001
From: Mariano Guerra <mariano@marianoguerra.org>
Date: Fri, 21 Oct 2016 12:41:34 +0100
Subject: [PATCH 03/59] use mono as first font family for code

---
 lib/erl_docgen/priv/css/otp_doc.css | 6 +++---
 1 file 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 bdb0db5e3..5430a17e2 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 }
 
-- 
2.12.2

Places

File 2703-use-mono-as-first-font-family-for-code.patch of Package erlang (Revision 1df3ed72f7aa9edd3e18418a69795124)

Places