2 font-family: "Helvetica Neue", Helvetica, Verdana, sans-serif;
5 background-image: url(Swoosh.png);
6 background-repeat: no-repeat;
7 background-position: center -40px;
8 background-size: 3000px auto;
13 background-color: rgb(19, 157, 215);
18 display: block; /* For IE11 */
26 -webkit-user-select: none;
27 -webkit-user-drag: none;
45 @media (-webkit-min-device-pixel-ratio: 2), (min--moz-device-pixel-ratio: 2), (min-resolution: 2dppx), (min-resolution: 192dpi) {
47 content: url(JetStream-Logo@2x.png); /* FIXME: This does not work in Firefox. */
51 background-image: url(Swoosh@2x.png);
56 margin: 18px auto 5px;
57 background-image: -webkit-linear-gradient(right, white 70%, rgba(255, 255, 255, 0));
58 background-image: -moz-linear-gradient(right, white 70%, rgba(255, 255, 255, 0));
59 background-image: linear-gradient(to right, white 70%, rgba(255, 255, 255, 0));
60 padding: 15px 125px 0;
64 p.summary + p.summary {
74 color: rgb(19, 157, 215);
112 #result-summary:empty {
120 #result-summary label {
124 #result-summary .score {
128 color: rgb(19, 157, 215);
131 #result-summary .score .interval {
143 color: rgb(19, 157, 215);
144 text-decoration: none;
148 text-decoration: underline;
153 border-collapse: collapse;
167 tr:first-child > th:nth-child(odd):not(:first-child) {
168 border-left: 15px solid white;
171 tr:first-child > th:nth-child(odd) {
175 tr:first-child > th:nth-child(even) {
179 tr:nth-child(even):not(:first-child) {
180 background-color: rgb(230, 238, 242);
184 color: rgb(19, 157, 215);
194 .benchmark-name.category {
198 .benchmark-name:not(.category):not(.geometric-mean) {
206 .benchmark-name:not(:first-child) {
207 border-left: 15px solid white;
210 .benchmark-name a:link,
211 .benchmark-name a:visited {
215 .highlighted-result {
216 background-color: rgb(19, 157, 215);