use Twitter Bootstrap styling for HTML man pages