Added pdflatex output for menus, to be improved once categories exist.