1.el_jar {
2  padding-left:18px;
3  background-image:url(jar.gif);
4  background-position:left center;
5  background-repeat:no-repeat;
6}
7
8.el_test {
9  padding-left:18px;
10  background-image:url(test.gif);
11  background-position:left center;
12  background-repeat:no-repeat;
13}
14
15.el_testsuite {
16  padding-left:18px;
17  background-image:url(testsuite.gif);
18  background-position:left center;
19  background-repeat:no-repeat;
20}
21
22p.intro {
23  margin-left:20px;
24  padding-left:4px;
25  border-left:#cccca0 4px solid;
26  font-style:italic
27}
28
29p.hint {
30  margin-left:20px;
31  padding-left:4px;
32  border-left:#cccca0 4px solid;
33  font-style:italic
34}
35
36.high {
37  background-color:#ffff80;
38}
39
40div#content a[href^='http://'], a[href^='https://'] {
41  display:inline-block;
42  padding-left:15px;
43  background:transparent url(extern.gif) center left no-repeat;
44}
45
46/* === Definitions from report.css start here: === */
47
48body, td {
49  font-family:sans-serif;
50  font-size:10pt;
51}
52
53h1 {
54  font-weight:bold;
55  font-size:18pt;
56}
57
58.breadcrumb {
59  border:#d6d3ce 1px solid;
60  padding:2px 4px 2px 4px;
61}
62
63
64.el_report {
65  padding-left:18px;
66  background-image:url(report.gif);
67  background-position:left center;
68  background-repeat:no-repeat;
69}
70
71.el_group {
72  padding-left:18px;
73  background-image:url(group.gif);
74  background-position:left center;
75  background-repeat:no-repeat;
76}
77
78.el_bundle {
79  padding-left:18px;
80  background-image:url(bundle.gif);
81  background-position:left center;
82  background-repeat:no-repeat;
83}
84
85.el_package {
86  padding-left:18px;
87  background-image:url(package.gif);
88  background-position:left center;
89  background-repeat:no-repeat;
90}
91
92.el_class {
93  padding-left:18px;
94  background-image:url(class.gif);
95  background-position:left center;
96  background-repeat:no-repeat;
97}
98
99.el_source {
100  padding-left:18px;
101  background-image:url(source.gif);
102  background-position:left center;
103  background-repeat:no-repeat;
104}
105
106.el_method {
107  padding-left:18px;
108  background-image:url(method.gif);
109  background-position:left center;
110  background-repeat:no-repeat;
111}
112
113.el_session {
114  padding-left:18px;
115  background-image:url(session.gif);
116  background-position:left center;
117  background-repeat:no-repeat;
118}
119
120pre.source {
121  border:#d6d3ce 1px solid;
122  font-family:monospace;
123}
124
125pre.source ol {
126  margin-bottom: 0px;
127  margin-top: 0px;
128}
129
130pre.source li {
131  border-left: 1px solid #D6D3CE;
132  color: #A0A0A0;
133  padding-left: 0px;
134}
135
136pre.source span.fc {
137  background-color:#ccffcc;
138}
139
140pre.source span.nc {
141  background-color:#ffcccc;
142}
143
144pre.source span.pc {
145  background-color:#ffffcc;
146}
147
148
149table.coverage {
150  empty-cells:show;
151  border-collapse:collapse;
152}
153
154table.coverage thead {
155  background-color:#e0e0e0;
156}
157
158table.coverage thead td {
159  white-space:nowrap;
160  padding:2px 8px 0px 8px;
161  border-bottom:#b0b0b0 1px solid;
162}
163
164table.coverage thead td.ctr1 {
165  text-align:right;
166  padding-right:4px;
167  border-left:#cccccc 1px solid;
168}
169
170table.coverage thead td.ctr2 {
171  text-align:right;
172  padding-left:4px;
173}
174
175table.coverage tbody td {
176  vertical-align:top;
177  padding:2px 8px 2px 8px;
178  border-bottom:#d6d3ce 1px solid;
179}
180
181table.coverage tbody tr:hover {
182  background: #f0f0d0 !important;
183}
184
185table.coverage tbody td.ctr1 {
186  text-align:right;
187  padding-right:4px;
188  border-left:#e8e8e8 1px solid;
189}
190
191table.coverage tbody td.ctr2 {
192  text-align:right;
193  padding-left:4px;
194}
195
196table.coverage tfoot td {
197  padding:2px 8px 2px 8px;
198}
199
200table.coverage tfoot td.ctr1 {
201  text-align:right;
202  padding-right:4px;
203  border-left:#e8e8e8 1px solid;
204}
205
206table.coverage tfoot td.ctr2 {
207  text-align:right;
208  padding-left:4px;
209}
210
211.footer {
212  margin-top:20px;
213  border-top:#d6d3ce 1px solid;
214  padding-top:2px;
215  font-size:8pt;
216  color:#a0a0a0;
217}
218
219.footer a {
220  color:#a0a0a0;
221}
222
223.right {
224  float:right;
225}
226