configuring font via GUI; now font does not depend on theme