update to latest highlight.js and styles
use numeric font weights; add smaller class