We did not override those yet so default `monospace` was applied. Also added a tweak to slightly reduce font size because monospace fonts usually render slightly larger than proportional ones. Co-authored-by: Antoine GIRARD <[email protected]> Co-authored-by: techknowlogick <[email protected]>
25 KiB
25 KiB