Fix code font size

Bootstrap sets the font size for `<code>` and `<kbd>` elements to 90%.
In my experience, both on X11 and Windows, default monospace fonts are
already somewhat smaller than the corresponding sans-serif, so that
makes them really small.