/* Custom CSS for doxygen 1.8.4 */