Reduces the font-size of <code>
It felt disproportionatly large compared to vanilla type
so I reduced it. Thoughthe best thing to do would be to
only reduce the size when it's inline code and not a code
block