PDF→HTML size PR3: indent with one tab per level (#566) #2693

Job	Run time
build (ubuntu-24.04, ubuntu-24.04-clang-18, ubuntu-24.04-clang-18)	16m 26s
build-test-downstream (ubuntu-24.04, ubuntu-24.04-clang-18, ubuntu-24.04-clang-18)	13m 39s
build (macos-26, macos-26-armv8-clang-14, macos-26-armv8-clang-14)	14m 45s
build (windows-2022, windows-2022-msvc-1940, windows-2022-msvc-1940)	5m 2s
build (ubuntu-24.04, ubuntu-24.04-gcc-14, ubuntu-24.04-gcc-14)	7m 17s
build (macos-15, macos-15-armv8-clang-14, macos-15-armv8-clang-14)	15m 57s
build (ubuntu-24.04, ubuntu-24.04-clang-18, android-35-x86_64, 28.1.13356709)	17m 14s
test (macos-26, macos-26-armv8-clang-14)	7m 57s
docker (ubuntu-24.04, ubuntu-24.04-clang-18)	25s
	1h 38m 42s

Provide feedback