diff options
author | Benjamin Jones <bjones@galois.com> | 2013-07-16 17:26:12 -0700 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2013-07-16 17:26:12 -0700 |
commit | 960c8b96da9218eafa369db9a1f4bea9f737f0df (patch) | |
tree | adfc4c6d18cbf2e91514fd5bd95ae0c6b568182c | |
parent | 59a50f30adfa5bdd41109ff6df7d32ecd2672932 (diff) |
added styling to different severity levels
-rw-r--r-- | src/js/fiveui/css/ui.css | 12 |
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); } |