Fixed CSS to handle new Doxygen link, correctly