hairlineWidthPx

the width in device pixels of a stroke whose line width is 0; 1 = the one device pixel of ISO 32000-1, 8.4.3.2. Other thin strokes (ECG traces, fine borders) widen to a fifth of it, as MuPDF draws them. There is no supersampling knob: vector output is already resolution-independent.