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;
29 background-color: #F9F9F9;
30 border: 1px solid #808080;
76 table.status, table.status tr, table.status td {
77 padding: 0.2em 0.75em;
87 border-bottom: 1px solid gray;
94 border: 1px solid #ccc;
95 border-collapse: collapse;
96 word-wrap: break-word;
102 padding: 0.2em 0.5em;
114 table.horizontal th {
115 border-right: 1px solid #ccc;
125 input[type="button"], input[type="submit"] {
126 background-color: #F5F5F5;
127 border: 1px solid #A2A2A2;
129 box-shadow: 1px 1px 1px #BBBBBB;
130 transition: all 0.13s ease 0s;
136 input[type="button"]:active, input[type="submit"]:active {
137 background-color: #E8E8E8;
141 input[type="text"], input[type="password"] {
142 width: 100%; /* IE8 width bugfix */
144 border: 1px solid #CCCCCC;
148 input[type="text"]:focus, input[type="password"]:focus {
149 box-shadow: 0 0 2px #BBBBBB;
153 background-color: #2a2a2a;
154 border-top: 0.3em solid #1188DD;
157 box-shadow: 0 0 0.5em #444444;
158 transition: all 0.2s ease 0s;
163 /*max-width: 1920px;*/
167 #header input[type="button"], #header input[type="submit"] {
168 background-color: #808080;
169 border: 1px solid #808080;
175 #header input[type="button"]:hover, #header input[type="submit"]:hover {
176 background-color: #606060;
177 border: 1px solid #606060;
185 #header #leftnav > div, #header #leftnav > span {
187 vertical-align: middle;
206 #header #rightnav span {
210 #header #menu-container {
213 display: inline-block;
216 #header #logout-container {
217 /* Hide until activated by JavaScript */
227 /*max-width: 1920px;*/
233 /*display: none; Enable in non-debug mode*/
239 transition: all 0.2s ease 0s;
247 border-bottom: 1px solid #CCCCCC;
248 border-left: 1px solid #CCCCCC;
252 margin-right: -1.25em;
277 margin-bottom: 0.25em;
285 border-spacing: 0.5em;
299 margin-bottom: 0.5em;
308 background-color: #ffffff;
309 margin: 0.25em 0.25em 1.5em;
311 box-shadow: 0 0 3px #CCCCCC;
312 border: 1px solid #CCCCCC;
313 transition: all 0.2s ease 0s;
318 box-shadow: 0 0 0.25em #AAAAAA;
322 box-sizing: border-box;
325 padding: 20px 15px 15px 15px;
326 margin: 15px auto 30px auto;
327 border: 1px solid #ddd;
341 background-color: white;
342 border: 1px solid #ccc;
345 /** For login.html **/
354 #login-container form {
358 #login-container input {
362 #login-container label {
366 #login-container input[type=submit] {
368 padding: 0.4em 0.8em;
371 #login-container #result {