pre > code font size modified (there was a bug ...)