import re,sys,os
d=sys.argv[1]
p=os.path.join(d,'pivotal_St.html'); s=open(p).read()
def dims(f):
    t=open(os.path.join(d,f)).read(2000)
    w=re.search(r'width=.([\d.]+)pt',t); h=re.search(r'height=.([\d.]+)pt',t)
    return float(w.group(1)), float(h.group(1))
def rep(m):
    f=m.group(1); w,h=dims(f)
    return "<span class='di'><img alt='diagram' src='%s' style='width:%.2fpt;height:%.2fpt;vertical-align:middle' /></span>"%(f,0.58*w,0.58*h)
s,n=re.subn(r"""<span class=['"]di['"]>\s*<img\s[^>]*?src=['"]([^'"]+)['"][^>]*?/>\s*</span>""",rep,s)
s=s.replace("DEFORMATIONS OF DELIGNE’S St","DEFORMATIONS OF DELIGNE’S S<sub>t</sub>").replace("<title>Deformations of St</title>","<title>Deformations of Deligne’s S_t</title>")
css="<style>blockquote.prompt{margin:0.8em 2.5em;padding-left:0.8em;border-left:3px solid #ccc;font-style:italic}[class^='cmsy'],[class^='cmmi'],[class^='cmr']{font-family:'Latin Modern Math','STIX Two Math','Cambria Math','Times New Roman',serif}</style>\n</head>"
s=s.replace("</head>",css,1)
open(p,'w').write(s); print(n,'inline diagrams resized')