But you change the default to be smaller than the default (13px fixed size font instead of the 16px the typical desktop-browser has as default). You shouldn't m

But you change the default to be smaller than the default (13px fixed size font instead of the 16px the typical desktop-browser has as default). You shouldn't mess with that even on a normal site, but especially not in this case. One can't recognize the dot-positions anyway, but making it smaller makes it only harder.