Not yet fixed, but very bothering. Firefox tries to provide the CSS line-height as precise as possible with the result of an uneven line height. It rounds up and down.
<style type="text/css"><!--
pre {
line-height: 0.95em !important;
font-size: 16px !important;
font-family: Arial, Helvetica, sans-serif !important;
}
--></style>