style.css: colors for inline code and interpreter output