From 33ac7c6ea8d735427981db3ebb28c364b9e01dae Mon Sep 17 00:00:00 2001
From: Dennis Eichhorn <spl1nes.com@googlemail.com>
Date: Sat, 5 Oct 2019 20:03:15 +0200
Subject: [PATCH] disable mouse selection of tabs

---
 styles.css | 1 +
 tab.scss   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/styles.css b/styles.css
index 106d6f5..2f9394d 100644
--- a/styles.css
+++ b/styles.css
@@ -4190,6 +4190,7 @@ section > h2 {
   padding: 0.3rem 0 0 0; }
   .tabview .tab-links label {
     font-size: 0.9em;
+    user-select: none;
     cursor: pointer; }
     .tabview .tab-links label:hover {
       color: var(--text-on-background-color-2);
diff --git a/tab.scss b/tab.scss
index 0bf913b..f7cd409 100644
--- a/tab.scss
+++ b/tab.scss
@@ -5,6 +5,7 @@
 
         label {
             font-size: 0.9em;
+            user-select: none;
             cursor: pointer;
 
             &:hover {