Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Scan results code cleanup #1993
Pull request checklist
Make sure you:
For non-trivial changes, please make sure you also:
Short description of the change(s)
Remove unused, old CSS from the HTML Formatter files.