Mercurial Repositories > eric / file comparison
comparison: DebugClients/Python3/coverage/htmlfiles/style.css
DebugClients/Python3/coverage/htmlfiles/style.css
- branch
- Py2 comp.
- changeset 3495
- fac17a82b431
- parent 29
- 391dc0bc4ae5
equal
deleted
inserted
replaced
| 3485:f1cbc18f88b2 | 3495:fac17a82b431 |
|---|---|
| 18 font-size: 1em; | 18 font-size: 1em; |
| 19 } | 19 } |
| 20 | 20 |
| 21 html>body { | 21 html>body { |
| 22 font-size: 16px; | 22 font-size: 16px; |
| 23 } | 23 } |
| 24 | 24 |
| 25 /* Set base font size to 12/16 */ | 25 /* Set base font size to 12/16 */ |
| 26 p { | 26 p { |
| 27 font-size: .75em; /* 12/16 */ | 27 font-size: .75em; /* 12/16 */ |
| 28 line-height: 1.3333em; /* 16/12 */ | 28 line-height: 1.33333333em; /* 16/12 */ |
| 29 } | 29 } |
| 30 | 30 |
| 31 table { | 31 table { |
| 32 border-collapse: collapse; | 32 border-collapse: collapse; |
| 33 } | 33 } |
| 51 #source { | 51 #source { |
| 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 #indexfile #footer { |
| 57 margin: 1em 3em; | 57 margin: 1em 3em; |
| 58 } | |
| 59 | |
| 60 #pyfile #footer { | |
| 61 margin: 1em 1em; | |
| 58 } | 62 } |
| 59 | 63 |
| 60 #footer .content { | 64 #footer .content { |
| 61 padding: 0; | 65 padding: 0; |
| 62 font-size: 85%; | 66 font-size: 85%; |
| 94 .stats span.par.hide_run.hide_par { | 98 .stats span.par.hide_run.hide_par { |
| 95 border-color: #ccc #999 #999 #ccc; | 99 border-color: #ccc #999 #999 #ccc; |
| 96 } | 100 } |
| 97 .stats span.par.hide_run { | 101 .stats span.par.hide_run { |
| 98 border-color: #999 #ccc #ccc #999; | 102 border-color: #999 #ccc #ccc #999; |
| 103 } | |
| 104 | |
| 105 .stats span.run { | |
| 106 background: #ddffdd; | |
| 107 } | |
| 108 .stats span.exc { | |
| 109 background: #eeeeee; | |
| 110 } | |
| 111 .stats span.mis { | |
| 112 background: #ffdddd; | |
| 113 } | |
| 114 .stats span.hide_run { | |
| 115 background: #eeffee; | |
| 116 } | |
| 117 .stats span.hide_exc { | |
| 118 background: #f5f5f5; | |
| 119 } | |
| 120 .stats span.hide_mis { | |
| 121 background: #ffeeee; | |
| 122 } | |
| 123 .stats span.par { | |
| 124 background: #ffffaa; | |
| 125 } | |
| 126 .stats span.hide_par { | |
| 127 background: #ffffcc; | |
| 128 } | |
| 129 | |
| 130 /* Help panel */ | |
| 131 #keyboard_icon { | |
| 132 float: right; | |
| 133 cursor: pointer; | |
| 134 } | |
| 135 | |
| 136 .help_panel { | |
| 137 position: absolute; | |
| 138 background: #ffc; | |
| 139 padding: .5em; | |
| 140 border: 1px solid #883; | |
| 141 display: none; | |
| 142 } | |
| 143 | |
| 144 #indexfile .help_panel { | |
| 145 width: 20em; height: 4em; | |
| 146 } | |
| 147 | |
| 148 #pyfile .help_panel { | |
| 149 width: 16em; height: 8em; | |
| 150 } | |
| 151 | |
| 152 .help_panel .legend { | |
| 153 font-style: italic; | |
| 154 margin-bottom: 1em; | |
| 155 } | |
| 156 | |
| 157 #panel_icon { | |
| 158 float: right; | |
| 159 cursor: pointer; | |
| 160 } | |
| 161 | |
| 162 .keyhelp { | |
| 163 margin: .75em; | |
| 164 } | |
| 165 | |
| 166 .keyhelp .key { | |
| 167 border: 1px solid black; | |
| 168 border-color: #888 #333 #333 #888; | |
| 169 padding: .1em .35em; | |
| 170 font-family: monospace; | |
| 171 font-weight: bold; | |
| 172 background: #eee; | |
| 99 } | 173 } |
| 100 | 174 |
| 101 /* Source file styles */ | 175 /* Source file styles */ |
| 102 .linenos p { | 176 .linenos p { |
| 103 text-align: right; | 177 text-align: right; |
| 106 color: #999999; | 180 color: #999999; |
| 107 font-family: verdana, sans-serif; | 181 font-family: verdana, sans-serif; |
| 108 font-size: .625em; /* 10/16 */ | 182 font-size: .625em; /* 10/16 */ |
| 109 line-height: 1.6em; /* 16/10 */ | 183 line-height: 1.6em; /* 16/10 */ |
| 110 } | 184 } |
| 185 .linenos p.highlight { | |
| 186 background: #ffdd00; | |
| 187 } | |
| 188 .linenos p a { | |
| 189 text-decoration: none; | |
| 190 color: #999999; | |
| 191 } | |
| 192 .linenos p a:hover { | |
| 193 text-decoration: underline; | |
| 194 color: #999999; | |
| 195 } | |
| 196 | |
| 111 td.text { | 197 td.text { |
| 112 width: 100%; | 198 width: 100%; |
| 113 } | 199 } |
| 114 .text p { | 200 .text p { |
| 115 margin: 0; | 201 margin: 0; |
| 116 padding: 0 0 0 .5em; | 202 padding: 0 0 0 .5em; |
| 117 border-left: 2px solid #ffffff; | 203 border-left: 2px solid #ffffff; |
| 118 white-space: nowrap; | 204 white-space: nowrap; |
| 119 } | 205 } |
| 120 | 206 |
| 121 .text p.mis { | 207 .text p.mis { |
| 122 background: #ffdddd; | 208 background: #ffdddd; |
| 123 border-left: 2px solid #ff0000; | 209 border-left: 2px solid #ff0000; |
