Xonotic port: better menu scaling across different resolutions