Swap fonts

- Remove dejavu fonts to make pdfs and theme lighter
- Add helvetica and times
- Fix italics bug which added a line break wherever there was an italicized element.