Adjustments to Doxygen mainpage.