<pre> tag font-size is ignored