Now uses the default roxen font instead of a special 'configuration' font. This might be improved in the future. Rev: server/base_server/mainconfig.pike:1.118