Default to font size 9 if not specified (fixes #11)

8 jobs for develop in 1 minute and 18 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1080
pwmt
build:archlinux

00:00:41

passed #1081
pwmt
build:debian-buster

00:00:43

passed #1082
pwmt
build:ubuntu-bionic

00:00:42

passed #1083
pwmt
build:ubuntu-eoan

00:00:42

 
  Test
passed #1084
pwmt
test:archlinux

00:00:25

passed #1085
pwmt
test:debian-buster

00:00:26

passed #1086
pwmt
test:ubuntu-bionic

00:00:25

passed #1087
pwmt
test:ubuntu-eoan

00:00:33