[settings] default-encoding=UTF-8 default-font-family=Century Schoolbook L monospace-font-family=Nimbus Mono L default-font-size=8 default-monospace-font-size=13