CSS: add new fonts to code blocks
CSS: tweak code block colors, lighter