1
+ body , html {
2
+ margin : 0 ; padding : 0 ;
3
+ }
4
+ body {
5
+ font-family : Helvetica Neue, Helvetica, Arial;
6
+ font-size : 10pt ;
7
+ }
8
+ div .header , div .footer {
9
+ background : # eee ;
10
+ padding : 1em ;
11
+ }
12
+ div .header {
13
+ z-index : 100 ;
14
+ position : fixed;
15
+ top : 0 ;
16
+ border-bottom : 1px solid # 666 ;
17
+ width : 100% ;
18
+ }
19
+ div .footer {
20
+ border-top : 1px solid # 666 ;
21
+ }
22
+ div .body {
23
+ margin-top : 10em ;
24
+ }
25
+ div .meta {
26
+ font-size : 90% ;
27
+ text-align : center;
28
+ }
29
+ h1 , h2 , h3 {
30
+ font-weight : normal;
31
+ }
32
+ h1 {
33
+ font-size : 12pt ;
34
+ }
35
+ h2 {
36
+ font-size : 10pt ;
37
+ }
38
+ pre {
39
+ font-family : Consolas, Menlo, Monaco, monospace;
40
+ margin : 0 ;
41
+ padding : 0 ;
42
+ line-height : 14px ;
43
+ font-size : 14px ;
44
+ -moz-tab-size : 2 ;
45
+ -o-tab-size : 2 ;
46
+ tab-size : 2 ;
47
+ }
48
+
49
+ div .path { font-size : 110% ; }
50
+ div .path a : link , div .path a : visited { color : # 000 ; }
51
+ table .coverage { border-collapse : collapse; margin : 0 ; padding : 0 }
52
+
53
+ table .coverage td {
54
+ margin : 0 ;
55
+ padding : 0 ;
56
+ color : # 111 ;
57
+ vertical-align : top;
58
+ }
59
+ table .coverage td .line-count {
60
+ width : 50px ;
61
+ text-align : right;
62
+ padding-right : 5px ;
63
+ }
64
+ table .coverage td .line-coverage {
65
+ color : # 777 !important ;
66
+ text-align : right;
67
+ border-left : 1px solid # 666 ;
68
+ border-right : 1px solid # 666 ;
69
+ }
70
+
71
+ table .coverage td .text {
72
+ }
73
+
74
+ table .coverage td span .cline-any {
75
+ display : inline-block;
76
+ padding : 0 5px ;
77
+ width : 40px ;
78
+ }
79
+ table .coverage td span .cline-neutral {
80
+ background : # eee ;
81
+ }
82
+ table .coverage td span .cline-yes {
83
+ background : # b5d592 ;
84
+ color : # 999 ;
85
+ }
86
+ table .coverage td span .cline-no {
87
+ background : # fc8c84 ;
88
+ }
89
+
90
+ .cstat-yes { color : # 111 ; }
91
+ .cstat-no { background : # fc8c84 ; color : # 111 ; }
92
+ .fstat-no { background : # ffc520 ; color : # 111 !important ; }
93
+ .cbranch-no { background : yellow !important ; color : # 111 ; }
94
+
95
+ .cstat-skip { background : # ddd ; color : # 111 ; }
96
+ .fstat-skip { background : # ddd ; color : # 111 !important ; }
97
+ .cbranch-skip { background : # ddd !important ; color : # 111 ; }
98
+
99
+ .missing-if-branch {
100
+ display : inline-block;
101
+ margin-right : 10px ;
102
+ position : relative;
103
+ padding : 0 4px ;
104
+ background : black;
105
+ color : yellow;
106
+ }
107
+
108
+ .skip-if-branch {
109
+ display : none;
110
+ margin-right : 10px ;
111
+ position : relative;
112
+ padding : 0 4px ;
113
+ background : # ccc ;
114
+ color : white;
115
+ }
116
+
117
+ .missing-if-branch .typ , .skip-if-branch .typ {
118
+ color : inherit !important ;
119
+ }
120
+
121
+ .entity , .metric { font-weight : bold; }
122
+ .metric { display : inline-block; border : 1px solid # 333 ; padding : 0.3em ; background : white; }
123
+ .metric small { font-size : 80% ; font-weight : normal; color : # 666 ; }
124
+
125
+ div .coverage-summary table { border-collapse : collapse; margin : 3em ; font-size : 110% ; }
126
+ div .coverage-summary td , div .coverage-summary table th { margin : 0 ; padding : 0.25em 1em ; border-top : 1px solid # 666 ; border-bottom : 1px solid # 666 ; }
127
+ div .coverage-summary th { text-align : left; border : 1px solid # 666 ; background : # eee ; font-weight : normal; }
128
+ div .coverage-summary th .file { border-right : none !important ; }
129
+ div .coverage-summary th .pic { border-left : none !important ; text-align : right; }
130
+ div .coverage-summary th .pct { border-right : none !important ; }
131
+ div .coverage-summary th .abs { border-left : none !important ; text-align : right; }
132
+ div .coverage-summary td .pct { text-align : right; border-left : 1px solid # 666 ; }
133
+ div .coverage-summary td .abs { text-align : right; font-size : 90% ; color : # 444 ; border-right : 1px solid # 666 ; }
134
+ div .coverage-summary td .file { text-align : right; border-left : 1px solid # 666 ; white-space : nowrap; }
135
+ div .coverage-summary td .pic { min-width : 120px !important ; }
136
+ div .coverage-summary a : link { text-decoration : none; color : # 000 ; }
137
+ div .coverage-summary a : visited { text-decoration : none; color : # 333 ; }
138
+ div .coverage-summary a : hover { text-decoration : underline; }
139
+ div .coverage-summary tfoot td { border-top : 1px solid # 666 ; }
140
+
141
+ div .coverage-summary .sorter {
142
+ height : 10px ;
143
+ width : 7px ;
144
+ display : inline-block;
145
+ margin-left : 0.5em ;
146
+ background : url (sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
147
+ }
148
+ div .coverage-summary .sorted .sorter {
149
+ background-position : 0 -20px ;
150
+ }
151
+ div .coverage-summary .sorted-desc .sorter {
152
+ background-position : 0 -10px ;
153
+ }
154
+
155
+ .high { background : # b5d592 !important ; }
156
+ .medium { background : # ffe87c !important ; }
157
+ .low { background : # fc8c84 !important ; }
158
+
159
+ span .cover-fill , span .cover-empty {
160
+ display : inline-block;
161
+ border : 1px solid # 444 ;
162
+ background : white;
163
+ height : 12px ;
164
+ }
165
+ span .cover-fill {
166
+ background : # ccc ;
167
+ border-right : 1px solid # 444 ;
168
+ }
169
+ span .cover-empty {
170
+ background : white;
171
+ border-left : none;
172
+ }
173
+ span .cover-full {
174
+ border-right : none !important ;
175
+ }
176
+ pre .prettyprint {
177
+ border : none !important ;
178
+ padding : 0 !important ;
179
+ margin : 0 !important ;
180
+ }
181
+ .com { color : # 999 !important ; }
182
+ .ignore-none { color : # 999 ; font-weight : normal; }
0 commit comments