3 font-family: "Open Sans";
4 src: url("OpenSans.ttf"),
10 font-family: "Open Sans";
11 src: url("OpenSansBold.ttf");
16 font-family: "Open Sans", "Lucida Grande","Lucida Sans",Verdana,Arial;
18 background-color: #F5F5F5;
25 border-bottom: 1px solid gray;
50 div.centre, p.centre {
60 font-size: 115% !important;
64 font-size: 130% !important;
68 font-size: inherit !important;
72 font-size: 80% !important;
85 table.status, table.status tr, table.status td {
86 padding: 0.2em 0.75em;
96 border-bottom: 1px solid gray;
103 border-collapse: collapse;
104 word-wrap: break-word;
108 vertical-align: middle;
112 padding: 0.2em 0.5em;
117 background-color: #7AE309;
118 font-weight: inherit;
121 tr.fail, tr.fail .fail {
123 background-color: #E30909;
124 font-weight: inherit;
136 table.horizontal th {
143 table.horizontal.medium th {
152 input[type="button"], input[type="submit"] {
153 background-color: #F5F5F5;
154 border: 1px solid #A2A2A2;
156 box-shadow: 1px 1px 1px #BBBBBB;
157 transition: all 0.13s ease 0s;
163 input[type="button"]:active, input[type="submit"]:active {
164 background-color: #E8E8E8;
168 input[type="text"], input[type="password"] {
169 width: 100%; /* IE8 width bugfix */
171 border: 1px solid #CCCCCC;
175 input[type="text"]:focus, input[type="password"]:focus {
176 box-shadow: 0 0 2px #BBBBBB;
195 form.nice input[type="submit"], form.nice input[type="button"] {
197 padding: 0.4em 0.8em;
201 background-color: #F9F9F9;
202 border: 1px solid #808080;
208 background-color: #2a2a2a;
209 border-top: 0.3em solid #1188DD;
212 box-shadow: 0 0 0.5em #444444;
213 transition: all 0.2s ease 0s;
218 /*max-width: 1920px;*/
222 #header input[type="button"], #header input[type="submit"] {
223 background-color: #808080;
224 border: 1px solid #808080;
230 #header input[type="button"]:hover, #header input[type="submit"]:hover {
231 background-color: #606060;
232 border: 1px solid #606060;
240 #header #leftnav > div, #header #leftnav > span {
242 vertical-align: middle;
261 #header #rightnav span {
265 #header #menu-container {
268 display: inline-block;
271 #header #logout-container {
272 /* Hide until activated by JavaScript */
282 /*max-width: 1920px;*/
284 transition: all 0.2s ease 0s;
289 /*display: none; Enable in non-debug mode*/
295 transition: all 0.2s ease 0s;
303 border-bottom: 1px solid #CCCCCC;
304 border-left: 1px solid #CCCCCC;
308 margin-right: -1.25em;
333 margin-bottom: 0.25em;
341 border-spacing: 0.5em;
359 margin-bottom: 0.5em;
368 background-color: #ffffff;
369 margin: 0.25em 0.25em 1.5em;
371 box-shadow: 0 0 3px #CCCCCC;
372 border: 1px solid #CCCCCC;
373 transition: all 0.2s ease 0s;
378 box-shadow: 0 0 0.25em #AAAAAA;
382 box-sizing: border-box;
385 padding: 20px 15px 15px 15px;
386 margin: 15px auto 30px auto;
387 border: 1px solid #ddd;
401 background-color: white;
402 border: 1px solid #ccc;
405 /** For login.html **/
414 #login-container form {
418 #login-container input {
422 #login-container label {
426 #login-container input[type=submit] {
428 padding: 0.4em 0.8em;
431 #login-container #result {
436 padding: 0.2em 0.4em;