File 2757-define-all-font-sizes-with-em-units.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2757-define-all-font-sizes-with-em-units.patch of Package erlang (Revision c00e382f9228df78350599fa64aa357d)

Currently displaying revision c00e382f9228df78350599fa64aa357d , Show latest

From 55e19e41fd602867389c3938a0ff31f51a56051e Mon Sep 17 00:00:00 2001
From: Mariano Guerra <mariano@marianoguerra.org>
Date: Thu, 2 Feb 2017 16:09:29 +0100
Subject: [PATCH 57/59] define all font-sizes with em units

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

diff --git a/lib/erl_docgen/priv/css/otp_doc.css b/lib/erl_docgen/priv/css/otp_doc.css
index c3ea63faa..3c27ace3f 100644
--- a/lib/erl_docgen/priv/css/otp_doc.css
+++ b/lib/erl_docgen/priv/css/otp_doc.css
@@ -90,7 +90,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
 .note .content {
   background: #f8f9fa;
   line-height: 120%;
-  font-size: 90%;
+  font-size: 0.9em;
   padding: 0.5em 1em;
 }
 .warning .label {
@@ -102,7 +102,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
 .warning .content {
   background-color: #f8f9fa;
   line-height: 120%;
-  font-size: 90%;
+  font-size: 0.9em;
   padding: 0.5em 1em;
 }
 .do .label {
@@ -114,7 +114,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
 .do .content {
   background: #f8f9fa;
   line-height: 120%;
-  font-size: 90%;
+  font-size: 0.9em;
   padding: 0.5em 1em;
 }
 .dont .label {
@@ -126,7 +126,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
 .dont .content {
   background-color: #f8f9fa;
   line-height: 120%;
-  font-size: 90%;
+  font-size: 0.9em;
   padding: 0.5em 1em;
 }
 
@@ -144,7 +144,7 @@ a:visited      { color: #1b6ec2; text-decoration: none }
 .extrafrontpageinfo {
   color: #C00;
   font-weight: bold;
-  font-size: 120%;
+  font-size: 1.2em;
 }
 
 pre {
-- 
2.12.2

Places

File 2757-define-all-font-sizes-with-em-units.patch of Package erlang (Revision c00e382f9228df78350599fa64aa357d)

Places