Small css fix to code colors