Hmm, I also tried playing with zoom and font-size, including on firefox, but no luck so far (to repro)…