Change the algorithm for finding the best font size. We will now never exceed the height given by the guidelines, and we also use a binary search method which should be faster in some cases (e.g. fixed-point fonts). Rev: server/modules/graphics/gbutton.pike:1.104