1 .el_jar { 2 padding-left:18px; 3 background-image:url(jar.gif); 4 background-position:left center; 5 background-repeat:no-repeat; 6 } 7 8 .el_test { 9 padding-left:18px; 10 background-image:url(test.gif); 11 background-position:left center; 12 background-repeat:no-repeat; 13 } 14 15 .el_testsuite { 16 padding-left:18px; 17 background-image:url(testsuite.gif); 18 background-position:left center; 19 background-repeat:no-repeat; 20 } 21 22 p.intro { 23 margin-left:20px; 24 padding-left:4px; 25 border-left:#cccca0 4px solid; 26 font-style:italic 27 } 28 29 p.hint { 30 margin-left:20px; 31 padding-left:4px; 32 border-left:#cccca0 4px solid; 33 font-style:italic 34 } 35 36 .high { 37 background-color:#ffff80; 38 } 39 40 div#content a[href^='http://'], a[href^='https://'] { 41 display:inline-block; 42 padding-left:15px; 43 background:transparent url(extern.gif) center left no-repeat; 44 } 45 46 /* === Definitions from report.css start here: === */ 47 48 body, td { 49 font-family:sans-serif; 50 font-size:10pt; 51 } 52 53 h1 { 54 font-weight:bold; 55 font-size:18pt; 56 } 57 58 .breadcrumb { 59 border:#d6d3ce 1px solid; 60 padding:2px 4px 2px 4px; 61 } 62 63 64 .el_report { 65 padding-left:18px; 66 background-image:url(report.gif); 67 background-position:left center; 68 background-repeat:no-repeat; 69 } 70 71 .el_group { 72 padding-left:18px; 73 background-image:url(group.gif); 74 background-position:left center; 75 background-repeat:no-repeat; 76 } 77 78 .el_bundle { 79 padding-left:18px; 80 background-image:url(bundle.gif); 81 background-position:left center; 82 background-repeat:no-repeat; 83 } 84 85 .el_package { 86 padding-left:18px; 87 background-image:url(package.gif); 88 background-position:left center; 89 background-repeat:no-repeat; 90 } 91 92 .el_class { 93 padding-left:18px; 94 background-image:url(class.gif); 95 background-position:left center; 96 background-repeat:no-repeat; 97 } 98 99 .el_source { 100 padding-left:18px; 101 background-image:url(source.gif); 102 background-position:left center; 103 background-repeat:no-repeat; 104 } 105 106 .el_method { 107 padding-left:18px; 108 background-image:url(method.gif); 109 background-position:left center; 110 background-repeat:no-repeat; 111 } 112 113 .el_session { 114 padding-left:18px; 115 background-image:url(session.gif); 116 background-position:left center; 117 background-repeat:no-repeat; 118 } 119 120 pre.source { 121 border:#d6d3ce 1px solid; 122 font-family:monospace; 123 } 124 125 pre.source ol { 126 margin-bottom: 0px; 127 margin-top: 0px; 128 } 129 130 pre.source li { 131 border-left: 1px solid #D6D3CE; 132 color: #A0A0A0; 133 padding-left: 0px; 134 } 135 136 pre.source span.fc { 137 background-color:#ccffcc; 138 } 139 140 pre.source span.nc { 141 background-color:#ffcccc; 142 } 143 144 pre.source span.pc { 145 background-color:#ffffcc; 146 } 147 148 149 table.coverage { 150 empty-cells:show; 151 border-collapse:collapse; 152 } 153 154 table.coverage thead { 155 background-color:#e0e0e0; 156 } 157 158 table.coverage thead td { 159 white-space:nowrap; 160 padding:2px 8px 0px 8px; 161 border-bottom:#b0b0b0 1px solid; 162 } 163 164 table.coverage thead td.ctr1 { 165 text-align:right; 166 padding-right:4px; 167 border-left:#cccccc 1px solid; 168 } 169 170 table.coverage thead td.ctr2 { 171 text-align:right; 172 padding-left:4px; 173 } 174 175 table.coverage tbody td { 176 vertical-align:top; 177 padding:2px 8px 2px 8px; 178 border-bottom:#d6d3ce 1px solid; 179 } 180 181 table.coverage tbody tr:hover { 182 background: #f0f0d0 !important; 183 } 184 185 table.coverage tbody td.ctr1 { 186 text-align:right; 187 padding-right:4px; 188 border-left:#e8e8e8 1px solid; 189 } 190 191 table.coverage tbody td.ctr2 { 192 text-align:right; 193 padding-left:4px; 194 } 195 196 table.coverage tfoot td { 197 padding:2px 8px 2px 8px; 198 } 199 200 table.coverage tfoot td.ctr1 { 201 text-align:right; 202 padding-right:4px; 203 border-left:#e8e8e8 1px solid; 204 } 205 206 table.coverage tfoot td.ctr2 { 207 text-align:right; 208 padding-left:4px; 209 } 210 211 .footer { 212 margin-top:20px; 213 border-top:#d6d3ce 1px solid; 214 padding-top:2px; 215 font-size:8pt; 216 color:#a0a0a0; 217 } 218 219 .footer a { 220 color:#a0a0a0; 221 } 222 223 .right { 224 float:right; 225 } 226