fixed a glitch with css pre/code