conf.py: LaTeX font size is 10pt