css: make code font size configurable from the theme.

css: make code font size configurable from the theme.

Not every combination of font and monospace font works with scaling the
code to 0.9 -- the light theme has base font size only 14px and there
the code would be too small. Also use `em` instead of `rem` so it
follows surrounding text size.