diff options
Diffstat (limited to 'src/js/lib/ui.css')
-rw-r--r-- | src/js/lib/ui.css | 37 |
1 files changed, 34 insertions, 3 deletions
diff --git a/src/js/lib/ui.css b/src/js/lib/ui.css index da70eb4..c7c6c79 100644 --- a/src/js/lib/ui.css +++ b/src/js/lib/ui.css @@ -4,11 +4,13 @@ div.fiveui { background-color: #e1e1e1; min-width: 400px; min-height: 300px; + width: 400px; + height: 300px; position: absolute; z-index: 1000; border: 1px solid black; - overflow: hidden; resize: both; + overflow: hidden; } div.fiveui>* { @@ -59,15 +61,17 @@ div.fiveui-control { } div.fiveui-control:active { - background-color: #000; + background-color: #366689; } div.fiveui-problems { overflow-y: auto; overflow-x: hidden; - resize: none; width: 100%; border-top: 1px solid black; + margin: 0; + padding: 0; + resize: none; } div.fiveui-stats { @@ -79,3 +83,30 @@ div.fiveui-stats { border-top: 1px solid black; border-bottom: 1px solid black; } + +div.fiveui-problem { + border-bottom: 1px solid black; + padding: 0; + margin: 0; + cursor: hand; + cursor: pointer; +} + +div.fiveui-problem-header { + padding: 4px; + font-size: 1.1em; +} + +div.fiveui-problem-toggle { + float: left; + width: 1em; + padding-left: 4px; +} + +div.fiveui-problem-body { + padding: 4px; +} + +div.fiveui-severity-0 { + background-color: #F5B3B3; +} |