From 093a1300d043a18a8c8507c79f9859cf2cb11473 Mon Sep 17 00:00:00 2001
From: Eric Duminil <eric.duminil@gmail.com>
Date: Fri, 16 Mar 2018 10:11:17 +0100
Subject: [PATCH] RegionChooser: CSS color variables.

---
 .../regionchooser/website/style/style.css     | 24 +++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/src/eu/simstadt/regionchooser/website/style/style.css b/src/eu/simstadt/regionchooser/website/style/style.css
index bea0a1f..703d3e0 100644
--- a/src/eu/simstadt/regionchooser/website/style/style.css
+++ b/src/eu/simstadt/regionchooser/website/style/style.css
@@ -1,12 +1,21 @@
 html.wait, html.wait * { cursor: wait !important; }
 
 :root {
+--color1:#fc5185;
+--color2:#f5f5f5;
+--color3:#3fc1c9;
+--color4:#364f6b;
+}
+
+:other{
     --color1:#6ba083;
     --color2:#222831;
     --color3:#6ba083;
     --color4:#eeeeee;
 }
 
+
+
 html,body{
 	margin:0;
 	padding:0;
@@ -37,7 +46,21 @@ div#side{
 	float:left;
 }
 
+a {
+	color: var(--color1);
+}
+
+a:active,a:hover {
+	color: var(--color3);
+}
+
+a:visited, a:selected {
+	color: var(--color4);
+}
+
+
 div#dataPanel{
+	color: var(--color2);
 	background-color: var(--color4);
 	width:90%;
 	height:80%;
@@ -49,6 +72,7 @@ div#dataPanel{
 	-moz-box-sizing:border-box;
 	-webkit-box-sizing:border-box;
 }
+
 div#side input{
 	width:90%;
 }
-- 
GitLab