Cool, die Rumspielerei mit Doxygen hat noch einen netten Nebeneffekt mit sich gebracht: das Programm legt einen sehr schönen Stylesheet an, welcher eine Definition für Quotes enthält - genau das richtige um Zitate in diese Seiten hier einzubinden (siehe z.B. oben auf dieser Seite). Gefällt mir.