css: back to old fonts - quick and dirty, also enables highlight-js styles.
Merge pull request #196 from seven-phases-max/master

Restore old fonts.