Updated style.tex to the newest version