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