diff options
author | Devaev Maxim <[email protected]> | 2020-07-20 14:15:46 +0300 |
---|---|---|
committer | Devaev Maxim <[email protected]> | 2020-07-20 14:15:46 +0300 |
commit | dd01c8d79d83bc0b0d17884da57a1e99de4b6e4e (patch) | |
tree | ff5f644f52fdeb4149813cec7a7f7a2c2b0fe73d /web | |
parent | 55810d5b6cf118273e08eac0e7218722df56c6d2 (diff) |
pretty firefox scrollbar
Diffstat (limited to 'web')
-rw-r--r-- | web/share/css/main.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/web/share/css/main.css b/web/share/css/main.css index cf117c5d..07de6707 100644 --- a/web/share/css/main.css +++ b/web/share/css/main.css @@ -70,6 +70,12 @@ div.code::-webkit-scrollbar-thumb { border-radius: 4px; background: var(--cs-scroll-default-bg); } +@-moz-document url-prefix() { + div.code { + scrollbar-width: thin; + scrollbar-color: var(--cs-scroll-default-bg) var(--cs-code-default-bg); + } +} div.code span.code-comment { color: var(--cs-code-comment-fg); |