From dd01c8d79d83bc0b0d17884da57a1e99de4b6e4e Mon Sep 17 00:00:00 2001
From: Devaev Maxim <mdevaev@gmail.com>
Date: Mon, 20 Jul 2020 14:15:46 +0300
Subject: [PATCH] pretty firefox scrollbar

---
 web/share/css/main.css | 6 ++++++
 1 file changed, 6 insertions(+)

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);