3 font-family: "Open Sans";
4 src: url("OpenSans.ttf"),
9 font-family: "Open Sans", "Lucida Grande","Lucida Sans",Verdana,Arial;
11 background-color: #F5F5F5;
18 border-bottom: 1px solid gray;
22 background-color: #F9F9F9;
23 border: 1px solid #808080;
68 table.status, table.status tr, table.status td {
69 padding: 0.2em 0.75em;
78 border-bottom: 1px solid gray;
86 input[type="button"], input[type="submit"] {
87 background-color: #F5F5F5;
88 border: 1px solid #A2A2A2;
90 box-shadow: 1px 1px 1px #BBBBBB;
91 transition: all 0.13s ease 0s;
97 input[type="button"]:active, input[type="submit"]:active {
98 background-color: #E8E8E8;
102 input[type="text"], input[type="password"] {
103 width: 100%; /* IE8 width bugfix */
105 border: 1px solid #CCCCCC;
109 input[type="text"]:focus, input[type="password"]:focus {
110 box-shadow: 0 0 2px #BBBBBB;
114 background-color: #2a2a2a;
115 border-top: 0.3em solid #1188DD;
118 box-shadow: 0 0 0.5em #444444;
119 transition: all 0.2s ease 0s;
128 #header input[type="button"], #header input[type="submit"] {
129 background-color: #808080;
130 border: 1px solid #808080;
136 #header input[type="button"]:hover, #header input[type="submit"]:hover {
137 background-color: #606060;
138 border: 1px solid #606060;
146 #header #leftnav > div, #header #leftnav > span {
148 vertical-align: middle;
167 #header #rightnav span {
171 #header #menu-container {
174 display: inline-block;
177 #header #logout-container {
178 /* Hide until activated by JavaScript */
194 /*display: none; Enable in non-debug mode*/
220 margin-bottom: 0.25em;
226 margin-bottom: 0.5em;
235 background-color: #EBF4FA;
236 margin: 0.25em 0.25em 1.5em;
238 box-shadow: 0 0 3px #CCCCCC;
239 transition: all 0.2s ease 0s;
244 box-shadow: 0 0 0.25em #AAAAAA;
248 box-sizing: border-box;
251 padding: 20px 15px 15px 15px;
252 margin: 15px auto 30px auto;
253 border: 1px solid #ddd;
255 background: linear-gradient(#f6f6f6 0, #fff 50px);
256 background: -o-linear-gradient(#f6f6f6 0, #fff 50px);
257 background: -ms-linear-gradient(#f6f6f6 0, #fff 50px);
258 background: -moz-linear-gradient(#f6f6f6 0, #fff 50px);
259 background: -webkit-linear-gradient(#f6f6f6 0, #fff 50px);
260 box-shadow: 0 3px 10px rgba(0,0,0,0.15);
261 -o-box-shadow: 0 3px 10px rgba(0,0,0,0.1);
262 -ms-box-shadow: 0 3px 10px rgba(0,0,0,0.1);
263 -moz-box-shadow: 0 3px 10px rgba(0,0,0,0.1);
264 -webkit-box-shadow: 0 3px 10px rgba(0,0,0,0.1);
269 background-color: #B4CFEC;
270 margin: 0.25em 0.25em 1.5em;
272 box-shadow: 0 0 3px #CCCCCC;
273 transition: all 0.2s ease 0s;
289 /** For login.html **/
298 #login-container form {
302 #login-container input {
306 #login-container label {
310 #login-container input[type=submit] {
312 padding: 0.4em 0.8em;
315 #login-container #result {