pub const MAX_BORDER_RESOLUTION: u32 = 2048;
Maximum resolution in device pixels at which borders are rasterized.