Update doxet-style.tex