• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1* { font-family: sans-serif; }
2
3.left { text-align: left; }
4.right { text-align: right; }
5
6.code { font-family: monospace; text-align: left; }
7.line1 { background-color: Gainsboro; }
8.line2 { background-color: WhiteSmoke; }
9
10.title { margin-bottom: 0.25em; }
11
12.success { background-color: LightGreen; }
13.failure { background-color: LightPink; }
14
15pre.code { margin: 0px; }
16
17div.header p.title {
18  border: 1px solid black;
19  font-size: 32px;
20  font-style: bold;
21  background-color: LightBlue;
22  text-align: center;
23  margin: 0px;
24  padding: 10px;
25  font-weight: bold;
26}
27
28div.links {
29  background-color: Azure;
30  margin-top: 2px;
31  padding: 8px 4px 8px 4px;
32  border: solid 1px;
33}
34
35div.content {
36  margin-top: 2px;
37  padding: 8px;
38  border: solid 1px;
39}
40
41div.content p.title {
42  font-size: 28px;
43  text-align: left;
44  margin: 0px;
45  margin-bottom: 8px;
46  padding: 12px;
47  font-weight: bold;
48}
49
50table { border-collapse: collapse; }
51td, th { text-align: center; }
52
53table.list td, th { padding: 3px 8px 2px 8px; border:1px solid black; }
54table.list td { font-family: monospace; }
55table.list th { background-color: LightGray; }
56
57table.attributes td { text-align: left; }
58table.attributes > tbody > tr > td:first-child { font-family: sans-serif; }
59
60table.raw { border-style: none; }
61table.raw td {
62  padding: 0em 0.5em 0em 0.5em;
63  border-style: none;
64  vertical-align: top;
65  text-align: right;
66  font-family: monospace;
67}
68table.raw > tbody > tr > td:first-child { border-left: 0px; }
69table.raw > tbody > tr > td { border-left: 1px solid; }
70
71a.button {
72  background-color: PeachPuff;
73  text-decoration: underline;
74  text-align: center;
75  color: Black;
76  padding: 4px;
77  border: solid 1px;
78}
79
80a.small {
81  padding: 2px 4px 2px 4px;
82  font-size: small;
83  border-color: Gray;
84  background-color: PapayaWhip;
85}
86
87a.button:hover { background-color: LightYellow; }
88a.button:active { background-color: Yellow; }
89
90a.column {
91  border-style: none;
92  display: block;
93  margin: -3px -8px -2px -8px;
94}
95
96div.warning {
97  background-color: MistyRose;
98  border: 1px solid Crimson;
99  padding: 0.5em;
100  font-size: x-large;
101}
102