Replicated on Win10, but I'm not completely sure its a bug. Anyone able to check if it scales with more options (same size, smaller text to fit more options)? If so, then it might be acting as intended. The important thing is that the text is rendered nice and crispy, yum.