From 993955a2ed83ca93807edca87f8b9273fe7d51be Mon Sep 17 00:00:00 2001
From: gijsio <67470426+gijsio@users.noreply.github.com>
Date: Wed, 19 Aug 2020 13:47:18 +0200
Subject: [PATCH] changed color of branch switch

---
 themes/doc-theme/static/css/doc-theme.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/doc-theme/static/css/doc-theme.css b/themes/doc-theme/static/css/doc-theme.css
index 828273d..427928c 100644
--- a/themes/doc-theme/static/css/doc-theme.css
+++ b/themes/doc-theme/static/css/doc-theme.css
@@ -340,7 +340,7 @@ code {
 }
 
 .primary--text {
-  color: green; /*#00cc96; */
+  color: #00cc96;
 }
 
 .v-window {