minor change in style.css to work with highlight.js