From 0c9b4a8df4455d8fe658aa5c537c06cdb0a30ee1 Mon Sep 17 00:00:00 2001 From: Sebastian Schulze Date: Thu, 26 Jan 2023 21:34:59 +0100 Subject: [PATCH] [css] No longer change the typeface for GitLab MRs. It confuses my coworkers --- dot_local/share/user-content.css | 3 --- 1 file changed, 3 deletions(-) diff --git a/dot_local/share/user-content.css b/dot_local/share/user-content.css index 4bc236f..2d43fa2 100644 --- a/dot_local/share/user-content.css +++ b/dot_local/share/user-content.css @@ -36,9 +36,6 @@ body.qute-readability * { font-family: "IBM Plex Serif" !important; } -body.gl-platform-linux div.diff-file * { - font-family: "Iosevka Term" !important; -} body.gl-platform-linux div.diff-file span.line { font-size: 1.15em; }