From 1be56c0c501ef196d1aa15fbfef8dbebee997365 Mon Sep 17 00:00:00 2001 From: silverwind Date: Sat, 18 Jul 2020 12:58:12 +0200 Subject: [PATCH] Remove font size option GitHub uses different font sizes in different places so we can not put them all under one variable without unexpectedly altering layout in some places. If this is still desirable, it should be in a separate style. --- github-dark.user.css | 2 -- index.html | 3 --- src/main.css | 1 - src/template.css | 1 - 4 files changed, 7 deletions(-) diff --git a/github-dark.user.css b/github-dark.user.css index 0a25887e7..5bb5dd29a 100644 --- a/github-dark.user.css +++ b/github-dark.user.css @@ -175,7 +175,6 @@ } @advanced text font-choice "Code Font" Menlo @advanced text font-features "Code Font Features" normal -@advanced text font-size-choice "Code Font Size" 12 @advanced dropdown code-wrap "Code Wrap" { nowrap "No Wrap" <<CodeMirror Editor (JS) }, { pattern: '/*[[font-choice]]*/', replacement: config.font - }, { - pattern: '/*[[font-size-choice]]*/', - replacement: config.fontSize }, { pattern: '/*[[code-wrap]]*/', replacement: config.codeWrapCss diff --git a/src/main.css b/src/main.css index 9578d2ede..089402283 100644 --- a/src/main.css +++ b/src/main.css @@ -44,7 +44,6 @@ #gist-form .file .input textarea, .blob-code-inner { font-family: "/*[[font-choice]]*/", Consolas, "Liberation Mono", Menlo, Courier, monospace !important; font-feature-settings: /*[[font-features]]*/ !important; - font-size: /*[[font-size-choice]]*/ !important; } /* Base link colors */ .Header-link:focus, .Header-link:hover, table.files .octicon-file-directory, diff --git a/src/template.css b/src/template.css index 37b858cf6..92d18342f 100644 --- a/src/template.css +++ b/src/template.css @@ -64,7 +64,6 @@ } @advanced text font-choice "Code Font" Menlo @advanced text font-features "Code Font Features" normal -@advanced text font-size-choice "Code Font Size" 12 @advanced dropdown code-wrap "Code Wrap" { nowrap "No Wrap" <<