3 margin: 1em 2em 2em 2em;
4 background-color: #fff;
8 font-family: "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;
20 background: url('images/banner_bg.gif') top left repeat-x #fff;
23 #header div.banner-logo {
31 #header div.banner-right {
51 text-decoration: none;
55 text-decoration: underline;
63 margin: 2em 20px 1em 20px;
67 border-top: 1px dotted #999;
72 border: 1px solid #aaa;
73 background-color: #f9f9f9;
88 padding: 1em 5em 1em 0.2em;
93 text-decoration: none;
96 #progress li a:hover {
97 text-decoration: underline;
100 #progress li.current {
106 #progress li.passed a,
107 #progress li.current a {
112 margin-bottom: 1.5em;
113 border: 1px solid #aaa;
114 background-color: #f9f9f9;
126 textarea.configfile {
127 background-color: #f9f9f9;
128 font-family: monospace;
135 font-family: monospace;
138 margin-bottom: 0.6em;
154 margin: 0.3em 0 0.4em -1em;
158 margin-bottom: 0.2em;
164 margin-bottom: 0.6em;
168 margin-bottom: 0.2em;
173 text-decoration: none;
179 padding: 1px 0 1px 20px;
180 background: url('images/add.png') top left no-repeat;
181 text-decoration: none;
187 padding: 1px 0 1px 24px;
188 background: url('images/delete.png') 4px 0 no-repeat;
189 text-decoration: none;
199 font-weight: bold !important;
203 color: #ff0000 !important;
204 font-weight: bold !important;
218 background-color: #f7fdcb;
219 border: 2px solid #c2d071;
224 background-color: #ef9398;
225 border: 2px solid #dc5757;
230 font-family: "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;