aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2013-07-16 17:26:12 -0700
committerGravatar Benjamin Jones <bjones@galois.com>2013-07-16 17:26:12 -0700
commit960c8b96da9218eafa369db9a1f4bea9f737f0df (patch)
treeadfc4c6d18cbf2e91514fd5bd95ae0c6b568182c
parent59a50f30adfa5bdd41109ff6df7d32ecd2672932 (diff)
added styling to different severity levels
-rw-r--r--src/js/fiveui/css/ui.css12
1 files changed, 10 insertions, 2 deletions
diff --git a/src/js/fiveui/css/ui.css b/src/js/fiveui/css/ui.css
index 0b723c9..2a08a69 100644
--- a/src/js/fiveui/css/ui.css
+++ b/src/js/fiveui/css/ui.css
@@ -108,9 +108,17 @@ div.fiveui-problem-body {
}
div.fiveui-severity-0 {
- background-color: #F2FC7E;
+ background-color: #F5B3B3;
}
div.fiveui-severity-1 {
- background-color: #F5B3B3;
+ background-color: #F2FC7E;
+}
+
+div.fiveui-severity-2 {
+ background-color: rgba(0, 255, 0, 0.5);
+}
+
+div.fiveui-severity-3 {
+ background-color: rgba(0, 0, 255, 0.5);
}