Files
langkit/langkit/coverage.css
Pierre-Marie de Rodat 9aaa909320 Emit our own HTML coverage report
Given that our goal is to create a coverage report for the properties
DSL, just using gnatcov's DHTML output is not an option. This commit
introduces parsing code and data structures to generate our own coverage
report.

TN: SC19-030
2020-01-09 12:57:19 +01:00

45 lines
895 B
CSS

body {
}
.code {
border-spacing: 0;
border-collapse: collapse;
}
.summary {
border-spacing: 0;
border-collapse: collapse;
width: 100px;
height: 12px;
border: 1px solid black;
background-color: #d0d0d0;
}
.summary .covered { background-color: #c0f0c0; }
.summary .partially_covered { background-color: #f0dcc0; }
.summary .uncovered { background-color: #f0c0c0; }
.summary .unknown { background-color: #d0d0d0; }
.code pre {
padding: 0;
margin: 0;
}
.code .lineno {
text-align: right;
padding: 0 10px;
width: 3%;
min-width: 50px;
}
.code .state {
text-align: center;
padding: 0 5px;
width: 20px;
}
.code tr.no_code {}
.code tr.covered { background-color: #c0e0c0; }
.code tr.partially_covered { background-color: #e0d0c0; }
.code tr.uncovered { background-color: #e0c0c0; }
.code tr.unknown { background-color: #d0d0d0; }