2 background-color: rgb(46, 51, 55);
3 color: rgb(235, 235, 235);
4 font-family: "Helvetica Neue", Helvetica, Verdana, sans-serif;
8 color: rgb(46, 51, 55);
9 background-color: rgb(235, 235, 235);
14 font-family: "Futura-Medium", Futura, "Helvetica Neue", Helvetica, Verdana, sans-serif;
18 font-family: Menlo, Monaco, monospace;
27 border: 1px solid rgb(235, 235, 235);
33 -webkit-user-select: none;
34 -webkit-user-drag: none;
47 border: 6px solid rgb(235, 235, 235);
63 color: rgb(235, 235, 235);
82 -webkit-appearance: none;
83 border: 3px solid rgb(235, 235, 235);
89 color: rgb(235, 235, 235);
90 background-color: transparent;
92 -webkit-user-select: none;
96 background-color: rgb(235, 235, 235);
97 color: rgb(46, 51, 55);
98 border-color: rgb(235, 235, 235) !important;
103 border-color: rgb(232, 79, 79);
132 section#home > p:first-child {
137 section#home > .show-about {
141 section#home > .buttons {
145 section#running > #progress {
151 background-color: rgb(128, 128, 128);
152 border-left: 6px solid rgb(46, 51, 55);
153 border-right: 6px solid rgb(46, 51, 55);
156 section#running #progress-completed {
162 background-color: rgb(235, 235, 235);
165 section#running > #info {
171 color: rgb(128, 128, 128);
176 section#summarized-results > #result-number,
177 section#summarized-results > #confidence-number {
178 font-family: "Futura-CondensedMedium", Futura, "Helvetica Neue", Helvetica, Verdana, sans-serif;
181 section#summarized-results > #result-number {
187 section#summarized-results > #confidence-number {
191 color: rgb(128, 128, 128);
194 section#detailed-results > table {
199 section#detailed-results > .arithmetic-mean {
205 section#detailed-results > .arithmetic-mean > label {
208 color: rgb(128, 128, 128);
211 section#detailed-results > .show-about {
221 section#about .note {
222 color: rgb(128, 128, 128);
227 border-collapse: collapse;
237 color: rgb(128, 128, 128);
244 background-image: url(gauge.png);
245 background-size: 100% 100%;
246 background-repat: no-repeat;
259 .gauge > .window > .needle {
265 background-color: rgb(247, 148, 29);
267 -webkit-transform: rotate(-70deg);
268 -webkit-transform-origin: 2px 400px;
270 -moz-transform: rotate(-70deg);
271 -moz-transform-origin: 2px 400px;
273 transform: rotate(-70deg);
274 transform-origin: 2px 400px;
277 @media (-webkit-min-device-pixel-ratio: 2), (min--moz-device-pixel-ratio: 2), (min-resolution: 2dppx), (min-resolution: 192dpi) {
279 content: url(logo@2x.png); /* FIXME: This does not work in Firefox. */
283 background-image: url(gauge@2x.png);