OK, wow – that’s quite a bit of work… the whole deprecated standard header is a real mess… I might see if I can fix it using CSS.