1hr {
2  border: 1px solid;
3  border-color: #36C;
4  margin: 1em 0;
5}
6
7h1, h2, h3, h4 {
8  margin: 0;
9  margin-bottom: 0;
10}
11
12h1 {
13  font-size: 154%;
14  height: 1.2em;
15}
16
17
18li {
19  margin: .3em 0 1em 0;
20}
21
22body {
23  font-family: Helvetica,Arial,sans-serif;
24  color: #000;
25  background-color: #fff;
26}
27
28div.title {
29  background-color: rgb(229, 236, 249);
30  border-top: 1px solid rgb(51, 102, 204);
31  text-align: center;
32  padding-top: 0.2em;
33  padding-bottom: 0.2em;
34  margin-bottom: 20px;
35}
36
37div.subtitle {
38  border-bottom: 1px solid rgb(51, 102, 204);
39  margin-top: 2em;
40}
41
42td.contents {
43  text-align: left;
44}
45
46div.run {
47  margin: 20px;
48  width: 300px;
49  height: 300px;
50  float: right;
51  background-color: rgb(229, 236, 249);
52  background-image: url(v8-logo.png);
53  background-position: center center;
54  background-repeat: no-repeat;
55  border: 1px solid rgb(51, 102, 204);
56}
57
58div.warning {
59  background: #ffffd9;
60  border: 1px solid #d2d26a;
61  display: none;
62  margin: 1em 0 2em;
63  padding: 8px;
64  text-align: center;
65}
66
67#status {
68  text-align: center;
69  margin-top: 50px;
70  font-size: 120%;
71  font-weight: bold;
72}
73
74#results {
75  text-align: left;
76  margin: 30px 0 0 90px;
77}
78