DebugClients/Python3/coverage/htmlfiles/style.css

changeset 29
391dc0bc4ae5
parent 0
de9c2efb9d02
child 3495
fac17a82b431
equal deleted inserted replaced
28:dde24fc7f7ba 29:391dc0bc4ae5
1 /* CSS styles for Coverage. */ 1 /* CSS styles for Coverage. */
2 /* Page-wide styles */ 2 /* Page-wide styles */
3 html, body, h1, h2, h3, p, td, th { 3 html, body, h1, h2, h3, p, td, th {
4 margin: 0; 4 margin: 0;
5 padding: 0; 5 padding: 0;
6 border: 0; 6 border: 0;
7 outline: 0; 7 outline: 0;
8 font-weight: inherit; 8 font-weight: inherit;
9 font-style: inherit; 9 font-style: inherit;
10 font-size: 100%; 10 font-size: 100%;
11 font-family: inherit; 11 font-family: inherit;
12 vertical-align: baseline; 12 vertical-align: baseline;
13 } 13 }
14 14
15 /* Set baseline grid to 16 pt. */ 15 /* Set baseline grid to 16 pt. */
16 body { 16 body {
17 font-family: georgia, serif; 17 font-family: georgia, serif;
52 padding: 1em; 52 padding: 1em;
53 font-family: "courier new", monospace; 53 font-family: "courier new", monospace;
54 } 54 }
55 55
56 #footer { 56 #footer {
57 margin: 1em 3em;
58 }
59
60 #footer .content {
61 padding: 0;
57 font-size: 85%; 62 font-size: 85%;
58 font-family: verdana, sans-serif; 63 font-family: verdana, sans-serif;
59 color: #666666; 64 color: #666666;
60 font-style: italic; 65 font-style: italic;
61 } 66 }
63 #index { 68 #index {
64 margin: 1em 0 0 3em; 69 margin: 1em 0 0 3em;
65 } 70 }
66 71
67 /* Header styles */ 72 /* Header styles */
68 .content { 73 #header .content {
69 padding: 1em 3em; 74 padding: 1em 3em;
70 } 75 }
71 76
72 h1 { 77 h1 {
73 font-size: 1.25em; 78 font-size: 1.25em;
82 padding: .1em .25em; 87 padding: .1em .25em;
83 margin: 0 .1em; 88 margin: 0 .1em;
84 cursor: pointer; 89 cursor: pointer;
85 border-color: #999 #ccc #ccc #999; 90 border-color: #999 #ccc #ccc #999;
86 } 91 }
87 .stats span.hide { 92 .stats span.hide_run, .stats span.hide_exc,
93 .stats span.hide_mis, .stats span.hide_par,
94 .stats span.par.hide_run.hide_par {
88 border-color: #ccc #999 #999 #ccc; 95 border-color: #ccc #999 #999 #ccc;
96 }
97 .stats span.par.hide_run {
98 border-color: #999 #ccc #ccc #999;
89 } 99 }
90 100
91 /* Source file styles */ 101 /* Source file styles */
92 .linenos p { 102 .linenos p {
93 text-align: right; 103 text-align: right;
94 margin: 0; 104 margin: 0;
95 padding: 0 .5em; 105 padding: 0 .5em;
96 color: #999999; 106 color: #999999;
97 font-family: verdana, sans-serif; 107 font-family: verdana, sans-serif;
98 font-size: .625em; /* 10/16 */ 108 font-size: .625em; /* 10/16 */
99 line-height: 1.6em; /* 16/10 */ 109 line-height: 1.6em; /* 16/10 */
100 } 110 }
101 td.text { 111 td.text {
102 width: 100%; 112 width: 100%;
103 } 113 }
110 120
111 .text p.mis { 121 .text p.mis {
112 background: #ffdddd; 122 background: #ffdddd;
113 border-left: 2px solid #ff0000; 123 border-left: 2px solid #ff0000;
114 } 124 }
115 .text p.run { 125 .text p.run, .text p.run.hide_par {
116 background: #ddffdd; 126 background: #ddffdd;
117 border-left: 2px solid #00ff00; 127 border-left: 2px solid #00ff00;
118 } 128 }
119 .text p.exc { 129 .text p.exc {
120 background: #eeeeee; 130 background: #eeeeee;
121 border-left: 2px solid #808080; 131 border-left: 2px solid #808080;
122 } 132 }
123 .text p.hide { 133 .text p.par, .text p.par.hide_run {
134 background: #ffffaa;
135 border-left: 2px solid #eeee99;
136 }
137 .text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par,
138 .text p.hide_run.hide_par {
124 background: inherit; 139 background: inherit;
140 }
141
142 .text span.annotate {
143 font-family: georgia;
144 font-style: italic;
145 color: #666;
146 float: right;
147 padding-right: .5em;
148 }
149 .text p.hide_par span.annotate {
150 display: none;
151 }
152
153 /* Syntax coloring */
154 .text .com {
155 color: green;
156 font-style: italic;
157 line-height: 1px;
158 }
159 .text .key {
160 font-weight: bold;
161 line-height: 1px;
162 }
163 .text .str {
164 color: #000080;
125 } 165 }
126 166
127 /* index styles */ 167 /* index styles */
128 #index td, #index th { 168 #index td, #index th {
129 text-align: right; 169 text-align: right;
130 width: 6em; 170 width: 5em;
131 padding: .25em 0; 171 padding: .25em .5em;
132 border-bottom: 1px solid #eee; 172 border-bottom: 1px solid #eee;
133 } 173 }
134 #index th { 174 #index th {
135 font-style: italic; 175 font-style: italic;
136 color: #333; 176 color: #333;
137 border-bottom: 1px solid #ccc; 177 border-bottom: 1px solid #ccc;
178 cursor: pointer;
179 }
180 #index th:hover {
181 background: #eee;
182 border-bottom: 1px solid #999;
183 }
184 #index td.left, #index th.left {
185 padding-left: 0;
186 }
187 #index td.right, #index th.right {
188 padding-right: 0;
189 }
190 #index th.headerSortDown, #index th.headerSortUp {
191 border-bottom: 1px solid #000;
138 } 192 }
139 #index td.name, #index th.name { 193 #index td.name, #index th.name {
140 text-align: left; 194 text-align: left;
141 width: auto; 195 width: auto;
142 height: 1.5em;
143 } 196 }
144 #index td.name a { 197 #index td.name a {
145 text-decoration: none; 198 text-decoration: none;
146 color: #000; 199 color: #000;
147 } 200 }
148 #index td.name a:hover { 201 #index td.name a:hover {
149 text-decoration: underline; 202 text-decoration: underline;
150 color: #000; 203 color: #000;
151 } 204 }
152 #index tr.total { 205 #index tr.total {
206 }
207 #index tr.total td {
153 font-weight: bold; 208 font-weight: bold;
154 }
155 #index tr.total td {
156 padding: .25em 0;
157 border-top: 1px solid #ccc; 209 border-top: 1px solid #ccc;
158 border-bottom: none; 210 border-bottom: none;
159 } 211 }
212 #index tr.file:hover {
213 background: #eeeeee;
214 }

eric ide

mercurial