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; }