DebugClients/Python3/coverage/htmlfiles/style.css

changeset 0
de9c2efb9d02
child 29
391dc0bc4ae5
equal deleted inserted replaced
-1:000000000000 0:de9c2efb9d02
1 /* CSS styles for Coverage. */
2 /* Page-wide styles */
3 html, body, h1, h2, h3, p, td, th {
4 margin: 0;
5 padding: 0;
6 border: 0;
7 outline: 0;
8 font-weight: inherit;
9 font-style: inherit;
10 font-size: 100%;
11 font-family: inherit;
12 vertical-align: baseline;
13 }
14
15 /* Set baseline grid to 16 pt. */
16 body {
17 font-family: georgia, serif;
18 font-size: 1em;
19 }
20
21 html>body {
22 font-size: 16px;
23 }
24
25 /* Set base font size to 12/16 */
26 p {
27 font-size: .75em; /* 12/16 */
28 line-height: 1.3333em; /* 16/12 */
29 }
30
31 table {
32 border-collapse: collapse;
33 }
34
35 a.nav {
36 text-decoration: none;
37 color: inherit;
38 }
39 a.nav:hover {
40 text-decoration: underline;
41 color: inherit;
42 }
43
44 /* Page structure */
45 #header {
46 background: #f8f8f8;
47 width: 100%;
48 border-bottom: 1px solid #eee;
49 }
50
51 #source {
52 padding: 1em;
53 font-family: "courier new", monospace;
54 }
55
56 #footer {
57 font-size: 85%;
58 font-family: verdana, sans-serif;
59 color: #666666;
60 font-style: italic;
61 }
62
63 #index {
64 margin: 1em 0 0 3em;
65 }
66
67 /* Header styles */
68 .content {
69 padding: 1em 3em;
70 }
71
72 h1 {
73 font-size: 1.25em;
74 }
75
76 h2.stats {
77 margin-top: .5em;
78 font-size: 1em;
79 }
80 .stats span {
81 border: 1px solid;
82 padding: .1em .25em;
83 margin: 0 .1em;
84 cursor: pointer;
85 border-color: #999 #ccc #ccc #999;
86 }
87 .stats span.hide {
88 border-color: #ccc #999 #999 #ccc;
89 }
90
91 /* Source file styles */
92 .linenos p {
93 text-align: right;
94 margin: 0;
95 padding: 0 .5em;
96 color: #999999;
97 font-family: verdana, sans-serif;
98 font-size: .625em; /* 10/16 */
99 line-height: 1.6em; /* 16/10 */
100 }
101 td.text {
102 width: 100%;
103 }
104 .text p {
105 margin: 0;
106 padding: 0 0 0 .5em;
107 border-left: 2px solid #ffffff;
108 white-space: nowrap;
109 }
110
111 .text p.mis {
112 background: #ffdddd;
113 border-left: 2px solid #ff0000;
114 }
115 .text p.run {
116 background: #ddffdd;
117 border-left: 2px solid #00ff00;
118 }
119 .text p.exc {
120 background: #eeeeee;
121 border-left: 2px solid #808080;
122 }
123 .text p.hide {
124 background: inherit;
125 }
126
127 /* index styles */
128 #index td, #index th {
129 text-align: right;
130 width: 6em;
131 padding: .25em 0;
132 border-bottom: 1px solid #eee;
133 }
134 #index th {
135 font-style: italic;
136 color: #333;
137 border-bottom: 1px solid #ccc;
138 }
139 #index td.name, #index th.name {
140 text-align: left;
141 width: auto;
142 height: 1.5em;
143 }
144 #index td.name a {
145 text-decoration: none;
146 color: #000;
147 }
148 #index td.name a:hover {
149 text-decoration: underline;
150 color: #000;
151 }
152 #index tr.total {
153 font-weight: bold;
154 }
155 #index tr.total td {
156 padding: .25em 0;
157 border-top: 1px solid #ccc;
158 border-bottom: none;
159 }

eric ide

mercurial