3,5d2
< dom.options.canvasFont= Dialog-12
< actual font= java.awt.Font[family=Dialog,name=Dialog,style=plain,size=10]
< done.