Clean up ChunkedUpdateDrawingAreaProxy
[WebKit-https.git] / Tools / CodeCoverage / gcov.css
1 body {
2   color: black; background-color: white;
3   font-family: Helvetica,Arial,sans-serif;
4   margin: 0; padding: 0em;
5         text-align: center;
6 }
7
8 .title {
9         text-align:center;
10         font-weight:bold;
11         font-style:italic;
12         font-size:1.8em;
13         padding:10px;
14 }
15
16 .ruler {
17         height:3px;
18         background-color:#638AD6;
19         margin-left:10px;
20         margin-right:10px;
21 }
22
23 .headerItem {
24         text-align:right;
25         font-weight:bold;
26 }
27
28 .headerValue {
29         text-align:left;
30         font-weight:bold;
31         color:#638AD6;
32 }
33
34 .tableHead {
35         text-align:center;
36         font-weight:bold;
37         background-color:#638AD6;
38         color:white;
39         
40 }
41
42 .coverFile {
43   font-family: Courier;
44         background-color:#DEE7FF;
45         padding:3px;
46         width:70%;
47 }
48
49 .coverBar {
50         background-color:#DEE7FF;
51         padding:3px;
52         width:5%;
53 }
54
55 .coverBarOutline {
56 }
57
58 .coverPerHi {
59   font-family: Times;
60         text-align:center;
61         font-weight:bold;
62         background-color:lightgreen;    
63         padding:3px;
64         width:5%;
65 }
66
67 .coverNumHi {
68   font-family: Times;
69         text-align:right;
70         background-color:lightgreen;    
71         padding:3px;
72         width:25%;
73 }
74
75 .coverPerMed {
76   font-family: Times;
77         text-align:center;
78         font-weight:bold;
79         background-color:yellow;        
80         padding:3px;
81 }
82
83 .coverNumMed {
84   font-family: Times;
85         text-align:right;
86         background-color:yellow;        
87         padding:3px;
88 }
89
90 .coverPerLo {
91   font-family: Times;
92         text-align:center;
93         font-weight:bold;
94         background-color:red;   
95         padding:3px;
96 }
97
98 .coverNumLo {
99   font-family: Times;
100         text-align:right;
101         background-color:red;   
102         padding:3px;
103 }
104
105 .lineNum {
106         background-color:#EFE384;       
107 }
108
109 .lineCov {
110         background-color:#CED7FF;       
111 }
112
113 .lineNoCov {
114         background-color:#FF6131;       
115 }
116