#5708 22.5.22 tab-size

refined-github · Jun 22, 2022 · 58fba5b · 58fba5b
1 parent 4027476
commit 58fba5b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/style/22.5.22.css b/style/22.5.22.css
@@ -8,3 +8,8 @@
 [aria-label^="Fork your own copy of"].BtnGroup-item {
  margin-right: 0 !important;
 }
+
+/* Set sensible default again because GitHub is not using the user preference #5708 */
+:root {
+ --tab-size: 4;
+}