Replace uses of fixed pixel metrics with sizes based on the default font size

There are still problems on high dpi screens but mostly due to the oxygen theme engine.