Allow font configuration Rev: server/modules/graphics/gbutton.pike:1.11 Rev: server/modules/tags/tablist.pike:1.31