diff options
| author | Milton Mazzarri <[email protected]> | 2018-03-04 09:31:14 -0600 |
|---|---|---|
| committer | Milton Mazzarri <[email protected]> | 2018-07-14 14:07:50 -0500 |
| commit | 435de985cf35362c5df97fdad65dd4a06c18d586 (patch) | |
| tree | 0c8caee8281b7a601ab92421d0666680c7d175dd /lib/tools/priv/styles.css | |
| parent | e781967c7902b98e90a05a23a7e6888014709a96 (diff) | |
| download | otp-435de985cf35362c5df97fdad65dd4a06c18d586.tar.gz otp-435de985cf35362c5df97fdad65dd4a06c18d586.tar.bz2 otp-435de985cf35362c5df97fdad65dd4a06c18d586.zip | |
Improve Cover HTML page
* Adapt diff colors to bring more contrast
* Use monospace font for all the code in cover HTML report
* Specify background color for the body as white
* Reduce font-size for header
* Install cover stylesheet when making release (@sirihansen made this improvement)
* Additional changes based on feedback
Diffstat (limited to 'lib/tools/priv/styles.css')
| -rw-r--r-- | lib/tools/priv/styles.css | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/lib/tools/priv/styles.css b/lib/tools/priv/styles.css new file mode 100644 index 0000000000..e10e94e3ad --- /dev/null +++ b/lib/tools/priv/styles.css @@ -0,0 +1,91 @@ +body { + font: 14px/1.6 "Helvetica Neue", Helvetica, Arial, sans-serif; + margin: 0; + padding: 0; + color: #000; + border-top: 2px solid #ddd; + background-color: #fff; + + min-height: 100%; + display: flex; + flex-direction: column; +} + +h1 { + width: 100%; + border-bottom: 1px solid #eee; + margin-bottom: 0; + font-weight: 100; + font-size: 1.1em; + letter-spacing: 1px; +} + +h1 code { + font-size: 0.96em; +} + +code { + font: 12px monospace; +} + +footer { + background: #eee; + width: 100%; + padding: 10px 0; + text-align: right; + border-top: 1px solid #ddd; + display: flex; + flex: 1; + order: 2; + justify-content: center; +} + +table { + width: 100%; + margin-top: 10px; + border-collapse: collapse; + border: 1px solid #cbcbcb; + color: #000; + -webkit-border-radius: 3px; + -moz-border-radius: 3px; +} +table thead { + display: none; +} +table td.line, +table td.hits { + width: 20px; + background: #eaeaea; + text-align: center; + font-size: 11px; + padding: 0 10px; + color: #949494; +} +table td.hits { + width: 10px; + padding: 2px 5px; + color: rgba(0, 0, 0, 0.6); + background-color: #f0f0f0; +} +tr.miss td.line, +tr.miss td.hits { + background-color: #ffdce0; + border-color: #fdaeb7; +} +tr.miss td { + background-color: #ffeef0; +} +tr.hit td.line, +tr.hit td.hits { + background-color: #cdffd8; + border-color: #bef5cb; +} +tr.hit td { + background-color: #e6ffed; +} +td.source { + padding-left: 15px; + line-height: 15px; + white-space: pre; + font: 12px monospace; +} |