From cf674483f9fef780aaa597dd927f4bcbe25f1f4b Mon Sep 17 00:00:00 2001 From: Felipe Contreras Date: Fri, 27 Nov 2020 21:32:44 -0600 Subject: [PATCH 1/5] css: remove redundant font-family If the Adelle font isn't found, the next one is Georgia anyway. No functional changes. Signed-off-by: Felipe Contreras --- css/main.css | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/css/main.css b/css/main.css index 1afaf62645..86df46fedd 100644 --- a/css/main.css +++ b/css/main.css @@ -132,11 +132,6 @@ body { padding: 0; } -.windows.chrome body, -.windows.ie8 body { - font-family: Georgia, "Times New Roman", serif !important; -} - .inner { overflow: hidden; *zoom: 1; @@ -1019,12 +1014,6 @@ input, textarea { } -.windows.chrome input, .windows.chrome textarea, -.windows.ie8 input, .windows.chrome textarea { - font-family: Georgia, "Times New Roman", serif !important; -} - - form#search { position: absolute; z-index: 1000; @@ -1530,11 +1519,6 @@ pre.sh_sourceCode .sh_value { font-style: normal; } -.windows.chrome body *, -.windows.ie8 body * { - font-family: Georgia, "Times New Roman", serif !important; -} - header { margin-top: 20px; position: relative; From a4462c5b42035920020a7f2d15ecef88965abde1 Mon Sep 17 00:00:00 2001 From: Felipe Contreras Date: Fri, 27 Nov 2020 21:46:12 -0600 Subject: [PATCH 2/5] css: remove duplicated body rules These were defined before, and with the same values. Signed-off-by: Felipe Contreras --- css/main.css | 9 --------- 1 file changed, 9 deletions(-) diff --git a/css/main.css b/css/main.css index 86df46fedd..3979290671 100644 --- a/css/main.css +++ b/css/main.css @@ -123,15 +123,6 @@ article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, display: block; } -body { - font-size: 14px; - line-height: 22px; - font-family: "adelle", Georgia, "Times New Roman", serif; - color: #4e443c; - margin: 0; - padding: 0; -} - .inner { overflow: hidden; *zoom: 1; From bffacc895482e5247350661cc91a20c41d0233f6 Mon Sep 17 00:00:00 2001 From: Felipe Contreras Date: Fri, 27 Nov 2020 23:35:34 -0600 Subject: [PATCH 3/5] css: remove duplicated font-family Signed-off-by: Felipe Contreras --- css/main.css | 1 - 1 file changed, 1 deletion(-) diff --git a/css/main.css b/css/main.css index 3979290671..255b9ab32a 100644 --- a/css/main.css +++ b/css/main.css @@ -20,7 +20,6 @@ time, mark, audio, video { } body { - font-family: sans-serif; line-height: 1; font-size: 14px; line-height: 22px; From d12d5929df68700de50e34296a89e0489ed7af49 Mon Sep 17 00:00:00 2001 From: Felipe Contreras Date: Fri, 27 Nov 2020 21:37:54 -0600 Subject: [PATCH 4/5] css: improve fonts style There's no need to quote Adelle, neither Times New Roman; none have special characters. Signed-off-by: Felipe Contreras --- css/main.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/css/main.css b/css/main.css index 255b9ab32a..efa222386d 100644 --- a/css/main.css +++ b/css/main.css @@ -23,7 +23,7 @@ body { line-height: 1; font-size: 14px; line-height: 22px; - font-family: "adelle", Georgia, "Times New Roman", serif; + font-family: Adelle, Georgia, Times New Roman, serif; color: #4e443c; background: #f0efe7; } @@ -998,7 +998,7 @@ input.active { input, textarea { - font-family: "adelle", Georgia, "Times New Roman", serif; + font-family: Adelle, Georgia, Times New Roman, serif; font-size: 14px; outline: none; } From ea078c2db9e4f02fb9f217c195d945fbd6ad5564 Mon Sep 17 00:00:00 2001 From: Felipe Contreras Date: Sat, 28 Nov 2020 01:07:24 -0600 Subject: [PATCH 5/5] css: improve fonts for Linux In Linux systems typically the first options don't exist, so the page ends up with 'serif', which is how hello world pages look like. At the very least we should specify a readable option: serif. Also, DejaVu Serif is good alternative for Georgia. And Roboto Slab is very similar to Adelle. This makes it so the fonts are readable in Linux systems. Other systems should not be affected. Signed-off-by: Felipe Contreras --- css/main.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/css/main.css b/css/main.css index efa222386d..6b44c358ae 100644 --- a/css/main.css +++ b/css/main.css @@ -23,7 +23,7 @@ body { line-height: 1; font-size: 14px; line-height: 22px; - font-family: Adelle, Georgia, Times New Roman, serif; + font-family: Adelle, Roboto Slab, DejaVu Serif, Georgia, Times New Roman, sans-serif; color: #4e443c; background: #f0efe7; } @@ -998,7 +998,7 @@ input.active { input, textarea { - font-family: Adelle, Georgia, Times New Roman, serif; + font-family: Adelle, Roboto Slab, DejaVu Serif, Georgia, Times New Roman, sans-serif; font-size: 14px; outline: none; }