Updated to Doxygen 1.8.3.1, using the extra css feature.