Made the font smaller, added some options for auctex. Forward searching does not
work yet, though.