Improve the styling of the coverage in the dropdown#961

Merged

pietroalbini merged 2 commits intorust-lang:masterfrom

pietroalbini:change-coverage-dropdown

Aug 13, 2020

Commits on Aug 12, 2020

update the coverage styling in the dropdown
pietroalbini
committed

Commits on Aug 13, 2020

coverage: improve tests
pietroalbini
committed