css changes for code highlighting