fix css glitch from latest doxygen
fix css glitch from latest doxygen
override doxygen colors
remove whitespace preceding \ref as that seems to confuse the new doxygen
include preprocess_doxyfile.py in the distribution
remove whitespace preceding \ref as that seems to confuse the new doxygen
bug fix thx to Francois Botha