css: syntax: use same background colour for all pre tags