css: Fix font declarations for pre and code elements

The CSS font shorthand property requires both a font size and family in
its values. Without a size it is invalid, so ignored by browsers.

This commit fixes this for issue the pre and code elements. It also adds
back the font-size for code, which was removed in the previous commit:
this removal made the font property invalid, so apparently fixing the
size issue, but only by accident.