more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;