1/* CSS styles for Coverage. */ 2/* Page-wide styles */ 3html, 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. */ 16body { 17 font-family: georgia, serif; 18 font-size: 1em; 19 } 20 21html>body { 22 font-size: 16px; 23 } 24 25/* Set base font size to 12/16 */ 26p { 27 font-size: .75em; /* 12/16 */ 28 line-height: 1.3333em; /* 16/12 */ 29 } 30 31table { 32 border-collapse: collapse; 33 } 34 35a.nav { 36 text-decoration: none; 37 color: inherit; 38 } 39a.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#indexfile #footer { 57 margin: 1em 3em; 58 } 59 60#pyfile #footer { 61 margin: 1em 1em; 62 } 63 64#footer .content { 65 padding: 0; 66 font-size: 85%; 67 font-family: verdana, sans-serif; 68 color: #666666; 69 font-style: italic; 70 } 71 72#index { 73 margin: 1em 0 0 3em; 74 } 75 76/* Header styles */ 77#header .content { 78 padding: 1em 3em; 79 } 80 81h1 { 82 font-size: 1.25em; 83} 84 85h2.stats { 86 margin-top: .5em; 87 font-size: 1em; 88} 89.stats span { 90 border: 1px solid; 91 padding: .1em .25em; 92 margin: 0 .1em; 93 cursor: pointer; 94 border-color: #999 #ccc #ccc #999; 95} 96.stats span.hide_run, .stats span.hide_exc, 97.stats span.hide_mis, .stats span.hide_par, 98.stats span.par.hide_run.hide_par { 99 border-color: #ccc #999 #999 #ccc; 100} 101.stats span.par.hide_run { 102 border-color: #999 #ccc #ccc #999; 103} 104 105/* Help panel */ 106#keyboard_icon { 107 float: right; 108 cursor: pointer; 109} 110 111.help_panel { 112 position: absolute; 113 background: #ffc; 114 padding: .5em; 115 border: 1px solid #883; 116 display: none; 117} 118 119#indexfile .help_panel { 120 width: 20em; height: 4em; 121} 122 123#pyfile .help_panel { 124 width: 16em; height: 8em; 125} 126 127.help_panel .legend { 128 font-style: italic; 129 margin-bottom: 1em; 130} 131 132#panel_icon { 133 float: right; 134 cursor: pointer; 135} 136 137.keyhelp { 138 margin: .75em; 139} 140 141.keyhelp .key { 142 border: 1px solid black; 143 border-color: #888 #333 #333 #888; 144 padding: .1em .35em; 145 font-family: monospace; 146 font-weight: bold; 147 background: #eee; 148} 149 150/* Source file styles */ 151.linenos p { 152 text-align: right; 153 margin: 0; 154 padding: 0 .5em; 155 color: #999999; 156 font-family: verdana, sans-serif; 157 font-size: .625em; /* 10/16 */ 158 line-height: 1.6em; /* 16/10 */ 159 } 160.linenos p.highlight { 161 background: #ffdd00; 162 } 163.linenos p a { 164 text-decoration: none; 165 color: #999999; 166 } 167.linenos p a:hover { 168 text-decoration: underline; 169 color: #999999; 170 } 171 172td.text { 173 width: 100%; 174 } 175.text p { 176 margin: 0; 177 padding: 0 0 0 .5em; 178 border-left: 2px solid #ffffff; 179 white-space: nowrap; 180 } 181 182.text p.mis { 183 background: #ffdddd; 184 border-left: 2px solid #ff0000; 185 } 186.text p.run, .text p.run.hide_par { 187 background: #ddffdd; 188 border-left: 2px solid #00ff00; 189 } 190.text p.exc { 191 background: #eeeeee; 192 border-left: 2px solid #808080; 193 } 194.text p.par, .text p.par.hide_run { 195 background: #ffffaa; 196 border-left: 2px solid #eeee99; 197 } 198.text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par, 199.text p.hide_run.hide_par { 200 background: inherit; 201 } 202 203.text span.annotate { 204 font-family: georgia; 205 font-style: italic; 206 color: #666; 207 float: right; 208 padding-right: .5em; 209 } 210.text p.hide_par span.annotate { 211 display: none; 212 } 213 214/* Syntax coloring */ 215.text .com { 216 color: green; 217 font-style: italic; 218 line-height: 1px; 219 } 220.text .key { 221 font-weight: bold; 222 line-height: 1px; 223 } 224.text .str { 225 color: #000080; 226 } 227 228/* index styles */ 229#index td, #index th { 230 text-align: right; 231 width: 5em; 232 padding: .25em .5em; 233 border-bottom: 1px solid #eee; 234 } 235#index th { 236 font-style: italic; 237 color: #333; 238 border-bottom: 1px solid #ccc; 239 cursor: pointer; 240 } 241#index th:hover { 242 background: #eee; 243 border-bottom: 1px solid #999; 244 } 245#index td.left, #index th.left { 246 padding-left: 0; 247 } 248#index td.right, #index th.right { 249 padding-right: 0; 250 } 251#index th.headerSortDown, #index th.headerSortUp { 252 border-bottom: 1px solid #000; 253 } 254#index td.name, #index th.name { 255 text-align: left; 256 width: auto; 257 } 258#index td.name a { 259 text-decoration: none; 260 color: #000; 261 } 262#index td.name a:hover { 263 text-decoration: underline; 264 color: #000; 265 } 266#index tr.total { 267 } 268#index tr.total td { 269 font-weight: bold; 270 border-top: 1px solid #ccc; 271 border-bottom: none; 272 } 273#index tr.file:hover { 274 background: #eeeeee; 275 } 276