sebastianbergmann/php-code-coverage — pull request #141 by Slamdunk (2012-12-04 11:26:32+00:00)
Title: Reduce vertical white space

There is too much white space with the new Twitter bootstrap.

This PR is intended to reduce the useless vertical whitespace:

Before: http://s16.postimage.org/n0hycoied/cc_before.png
After: http://s18.postimage.org/xl71mliq1/cc_after.png