Allows you to change Minecraft's render resolution separately from the HUD elements.

general serverlist improvements for minecraft