File 2728-make-code-tokens-more-easy-to-differentiat... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2728-make-code-tokens-more-easy-to-differentiate.patch of Package erlang (Revision a2c746346df91f7eba485155dba10e85)

Currently displaying revision a2c746346df91f7eba485155dba10e85 , Show latest

From 79cc929aeb58312d5a30d92f0abfdbbeca9cf04f Mon Sep 17 00:00:00 2001
From: Mariano Guerra <mariano@marianoguerra.org>
Date: Sat, 22 Oct 2016 00:13:16 +0100
Subject: [PATCH 28/59] make code tokens more easy to differentiate

---
 lib/erl_docgen/priv/css/otp_doc.css | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/lib/erl_docgen/priv/css/otp_doc.css b/lib/erl_docgen/priv/css/otp_doc.css
index e59d6def6..27a868e1a 100644
--- a/lib/erl_docgen/priv/css/otp_doc.css
+++ b/lib/erl_docgen/priv/css/otp_doc.css
@@ -67,7 +67,14 @@ a:visited      { color: #1b6ec2; text-decoration: none }
 }
 
 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 }
+span.code        {
+ font-family: mono, Courier, monospace; white-space: pre; font-weight: normal;
+ color: #000;
+ background-color: #f5f5f5;
+ padding: 0.15em;
+ border: 1px solid #ddd;
+ border-radius: 0.2em;
+}
 
 .note, .warning, .do, .dont {
   border: 1px solid #495057;
-- 
2.12.2

Places

File 2728-make-code-tokens-more-easy-to-differentiate.patch of Package erlang (Revision a2c746346df91f7eba485155dba10e85)

Places