I assume Javadocs are a legitimate use case for HTML5. What's the right way to implement Javadocs in HTML5? -- Henri Sivonen hsivonen at iki.fi http://hsivonen.iki.fi/