Make doxygen pages look like our own documentation.