resized fonts, darkened colors, fixed a major screw-up in prism.js