adjusted .highlight colors and .pre font size