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 /make/emd2exml.in | |
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 'make/emd2exml.in')
0 files changed, 0 insertions, 0 deletions