Ideally we should use a proper media-query that considers the DPI like
"min-resolution: 200dpi".  But experience shows that WebKitGTK1 (nor
Firefox) get the right DPI, at least in XO screens.