Make scrollbars a little bit narrower

2022-10-11 09:26:31 -07:00
parent 67a32de7d4
commit d93e75bf5f
1 changed files with 1 additions and 1 deletions
@@ -172,7 +172,7 @@ export default function editor(theme: Theme) {
      },
    },
    scrollbar: {
-      width: 14,
+      width: 12,
      track: {
        border: {
          left: true,