src/TeXmacs/styles/documentation
