>>36 Weird. Will fix.
>>35 I can make it bigger, but that won't solve the problem for someone with a larger font size. It will take me some time to find a proper solution. (If I cannot scale the boxes relative to font size, I'll have to define the font size in pixels.)