| pre.src { |
| background: #ffffff; |
| margin-top: 0px; |
| margin-bottom: 0px; |
| } |
| |
| table.src { |
| border: #dcdcdc 1px solid; |
| font-size: 16px; |
| } |
| |
| td.numLine { |
| background: #f0f0f0; |
| border-right: #dcdcdc 1px solid; |
| padding-right: 3px; |
| text-align: right; |
| } |
| |
| td.numLineCover { |
| background: #80ff80; |
| border-right: #dcdcdc 1px solid; |
| padding-right: 3px; |
| text-align: right; |
| } |
| |
| td.nbHits { |
| background: #f0f0f0; |
| border-right: #dcdcdc 1px solid; |
| padding-right: 3px; |
| text-align: right; |
| } |
| |
| td.nbHitsCovered { |
| background: #80ff80; |
| border-right: #dcdcdc 1px solid; |
| padding-right: 3px; |
| text-align: right; |
| } |
| |
| td.nbHitsUncovered { |
| background: #ff9090; |
| border-right: #dcdcdc 1px solid; |
| font-weight: bold; |
| padding-right: 3px; |
| text-align: right; |
| } |
| |
| td.src { |
| width: 100%; |
| } |
| |
| span.comment { |
| color: #b22222; |
| font-style: italic; |
| } |
| |
| span.keyword { |
| color: #2020bf; |
| font-weight: bold; |
| } |
| |
| span.srcUncovered { |
| background: #ff9090; |
| } |
| |
| span.string { |
| color: #2a00ff; |
| } |
| |
| span.text_italic { |
| font-size: 12px; |
| font-style: italic; |
| } |