I do like the font and all, but I've had some issues resizing it as well.
It would be nice to keep it as an option, but setting it as the default is probably going to bring a lot of complaints from people since doing so means it also carries over to other servers after visiting GK once.