Graphical changes, essentially colors

2020-10-04 18:50:28 +02:00
parent 4287f60ab3
commit 93b81493c0
13 changed files with 48 additions and 49 deletions
@@ -80,7 +80,7 @@
  word-break: break-all;
 }
 .rule .offendersTable > div > div:hover {
-  background: #EBD8E2;
+  background: #d8ebe0;
 }
 .rule .notFound {
  font-size: 1em;