diff options
-rw-r--r-- | www/style.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/www/style.css b/www/style.css index d03f993947..bc61c14f9b 100644 --- a/www/style.css +++ b/www/style.css | |||
@@ -50,6 +50,11 @@ A { | |||
50 | line-height: 140%; | 50 | line-height: 140%; |
51 | } | 51 | } |
52 | 52 | ||
53 | .menutext { | ||
54 | color: #f0f0f0; | ||
55 | font-size: 8pt; | ||
56 | } | ||
57 | |||
53 | .buildok { | 58 | .buildok { |
54 | background-color: #00ff00; | 59 | background-color: #00ff00; |
55 | width: 3em; | 60 | width: 3em; |
@@ -103,3 +108,8 @@ PRE { | |||
103 | background-color: #aae8aa; | 108 | background-color: #aae8aa; |
104 | padding: 4px; | 109 | padding: 4px; |
105 | } | 110 | } |
111 | |||
112 | .bad td { | ||
113 | background-color: #f0c0c0; | ||
114 | } | ||
115 | |||