Hi,
So I've made a set of new changes to rfcmarkup, which should now
be reflected in any htmlized documents retrieved from /html/... on
the first tools server. (I haven't cleaned out the repository on
the two other servers yet - when you test this, please go to
http://www1.tools.ietf.org/html/rfc4321 etc., not to www2 or www3)
What I've done is to serve a document which doesn't have any <h?/>
tags to start with, but if the browser has javascript, I run a snippet
which adds the <h?/> tags, on the theory that most browsers with java-
script turned on will also have css which preserves the look-and
feel of the result - also with the <h?/> tags added. (I really should
add an explicit check for css capability, but I'll leave that as a
future refinement).
Frank and Julian, especially: Will you check that the result works
for both of you - Frank should get a result which is back to what it
was before last Saturday, while Julian should get a document which
will let the Document Map plugin work, *and* preserves the look-and
feel of pre-Saturday (except for the greyed-out page header/footers).
Let me know whether this works for you...
