With the Tab indent size set to 4 spaces (I think it is the default), a tab at the start of a line in a code block has the same effect as 4 spaces. This works correctly across the different views, but in the PDF export the tab size is 8 spaces.
I presume this is a bug β hereby reported
Is there a workaround, perhaps in CSS?
See this screenshot (a part of the PDF output generated from the sandbox vault).