"""Generate repo/index.html (deployable, China-friendly) from index.html (artifact source)."""
src = open('index.html', encoding='utf-8').read()
i = src.index('') + len('')
head, body = src[:i], src[i:]
# 1. no Google Fonts: system fonts already in the stacks
import re
head = re.sub(r'\s*', '', head)
head = re.sub(r'\s*', '', head)
assert 'fonts.googleapis' not in head
# 2. three.js served from the repo, not from cdnjs / jsDelivr
body = body.replace('',
'')
body = body.replace('',
'')
assert 'cdnjs' not in body and 'jsdelivr' not in body
out = ('\n\n\n\n'
'\n'
+ head + '\n\n' + body + '\n\n\n')
open('repo/index.html', 'w', encoding='utf-8').write(out)
print('repo/index.html', len(out))