From 0f77d9b2913cb36234b262947f7c750868427e80 Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Thu, 24 Dec 2020 00:47:01 +0000 Subject: [PATCH] feat(userstyle): add github-tab-size user css --- userstyles/github-tab-size.user.css | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 userstyles/github-tab-size.user.css diff --git a/userstyles/github-tab-size.user.css b/userstyles/github-tab-size.user.css new file mode 100644 index 0000000..e0f3022 --- /dev/null +++ b/userstyles/github-tab-size.user.css @@ -0,0 +1,26 @@ +/* ==UserStyle== +@name GitHub Tab-Size +@description Customize tab-width in GitHub code views +@author Jim Myhrberg (https://jimeh.me/) +@version 1.0.0 +@namespace jimeh.me +@homepageURL https://github.com/jimeh/dotfiles/blob/master/userstyles/github-tab-size.user.css +@updateURL https://github.com/jimeh/dotfiles/raw/master/userstyles/github-tab-size.user.css +@preprocessor default + +@var range ghts-tab-size "Code Tab Size" [4, 1, 12, 1] +==/UserStyle== */ + +@-moz-document domain("github.com") { + pre, + .highlight, + .diff-table, + .tab-size, + .blob-code, + .line-data { + -moz-tab-size: var(--ghts-tab-size) !important; + -webkit-tab-size: var(--ghts-tab-size) !important; + -o-tab-size: var(--ghts-tab-size) !important; + tab-size: var(--ghts-tab-size) !important; + } +}