Change font size, font family, and some other css properties. Adding highlightjs.