On Tue, Jan 01, 2019 at 02:10:11PM -0800, Per Bothner wrote: > On 1/1/19 1:49 PM, Gavin Smith wrote: > >Thanks for working on this. What else needs to be changed so that the > >output is valid for HTML 5? I assume that the DOCTYPE declaration would > >need to be changed - currently it is > > > ><!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" > >"http://www.w3.org/TR/html4/loose.dtd";> > > The recommendation seems to be just plain: > > <!DOCTYPE html> > > See > https://developer.mozilla.org/en-US/docs/Web/Guide/HTML/HTML5/Introduction_to_HTML5 >
There is also the <tt> tag which is output for @t and @verb and also apparently inside @table under some circumstances. It could be replaced with <code> (even though this wouldn't be correct if it didn't contain computer code), <span>, or nothing at all.
