Further presentation tweaks to the prototype HTML docs:
- improve the presentation of the noscript warning when
javascript is disabled.
- customize the javascript disabled text to refer to
'documentation' instead of 'this site'
- remove some stray styles and cruft that interfered with the
intended presentation