css: monospace text tends to be larger than normal