Use Twitter Bootstrap and refresh the PHPUnit Manual's design