"we made the options smaller on higher resolutions ..."

the patchnotes say the options font size has been reduzed, but me and my friends all say the options font size is waay to big now