From 2217ddc1797634fab59462e16511c1b242f6e62b Mon Sep 17 00:00:00 2001
From: Frank Steinberg <steinberg@ibr.cs.tu-bs.de>
Date: Thu, 10 Oct 2019 15:35:44 +0200
Subject: [PATCH] Minor.
---
web/edit.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/web/edit.css b/web/edit.css
index 582c5b5..3631c81 100644
--- a/web/edit.css
+++ b/web/edit.css
@@ -122,7 +122,7 @@ styleguide *[source="lang-file"] {
background-color: #dfffdf;
}
styleguide *[source="this-session"] {
- background-color: #bfffbf;
+ background-color: #b0ffb0;
}
styleguide nav:not([todo="0"]) {
background-color: #ffb0b0;
--
GitLab