Removed customized highlight.js; Changed body font