Use Daniel C. Buenzli's style.css for prettier docs