File 2756-unify-all-paddings-of-content-boxes.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2756-unify-all-paddings-of-content-boxes.patch of Package erlang (Revision 88a02c2ce6d63718530f078daeb49b67)

Currently displaying revision 88a02c2ce6d63718530f078daeb49b67 , Show latest

From 23465dff23ca9e958d279cbde952dcfcb0d23f4d Mon Sep 17 00:00:00 2001
From: Mariano Guerra <mariano@marianoguerra.org>
Date: Thu, 2 Feb 2017 16:06:03 +0100
Subject: [PATCH 56/59] unify all paddings of content boxes

---
 lib/erl_docgen/priv/css/otp_doc.css | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/lib/erl_docgen/priv/css/otp_doc.css b/lib/erl_docgen/priv/css/otp_doc.css
index de0c6a6b6..c3ea63faa 100644
--- a/lib/erl_docgen/priv/css/otp_doc.css
+++ b/lib/erl_docgen/priv/css/otp_doc.css
@@ -85,7 +85,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
   background-color: #2b8a3e;
   color: #fefefe;
   font-weight: bold;
-  padding: 5px 10px;
+  padding: 0.5em 1em;
 }
 .note .content {
   background: #f8f9fa;
@@ -97,7 +97,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
   background: #c92a2a;
   color: #fefefe;
   font-weight: bold;
-  padding: 5px 10px;
+  padding: 0.5em 1em;
 }
 .warning .content {
   background-color: #f8f9fa;
@@ -109,25 +109,25 @@ a:visited      { color: #1b6ec2; text-decoration: none }
   background-color: #2b8a3e;
   color: #fefefe;
   font-weight: bold;
-  padding: 5px 10px;
+  padding: 0.5em 1em;
 }
 .do .content {
   background: #f8f9fa;
   line-height: 120%;
   font-size: 90%;
-  padding: 5px 10px;
+  padding: 0.5em 1em;
 }
 .dont .label {
   background: #c92a2a;
   color: #fefefe;
   font-weight: bold;
-  padding: 5px 10px;
+  padding: 0.5em 1em;
 }
 .dont .content {
   background-color: #f8f9fa;
   line-height: 120%;
   font-size: 90%;
-  padding: 5px 10px;
+  padding: 0.5em 1em;
 }
 
 .quote {
-- 
2.12.2

Places

File 2756-unify-all-paddings-of-content-boxes.patch of Package erlang (Revision 88a02c2ce6d63718530f078daeb49b67)

Places