Issue #372 resolved
fix px usage in css for high dpi displays
Using px units can be problematic on high dpi displays as stuff will render much smaller than on low dpi displays. Text might get unreadably small, for example.
Needs a global review of all css / styles. Using em as a relative unit might solve this.