styles for <pre> tag