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/stdlib/doc/src/maps.xml | |
| 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/stdlib/doc/src/maps.xml')
0 files changed, 0 insertions, 0 deletions