Replace fonts with system ones

Replace all the custom fonts with ones that are installed with most operating systems. This should reduce the page load time.

- `pre` elements now use DejaVu Sans Mono, Menlo, Consolas instead.
- body and headings now use Helvetica, Arial, freesans...