After #26, the Doxygen style no longer matches the homepage (it was also not so great to begin with). We should make it match now for consistency.
