Style sheet for W3C version of the spec

Hi.

The W3C version of the spec is somewhat less usable/readable than the
WHATWG version at the moment.  They used to have much the same styles,
but these were removed from the W3C version at some point.  There’s
nothing in pubrules that says you can’t use your own styles in a TR; you
just have to include the /StyleSheets/TR/W3C-blah ones first.

My suggestion is to:

* Move the style sheet rules in the <style>
  http://www.whatwg.org/specs/web-apps/current-work/ that don’t have
  #updatesStatus or #configUI in them to
  http://www.whatwg.org/style/specification

* Take http://www.whatwg.org/style/specification and check it in as
  http://dev.w3.org/html5/spec/specification.css (automatically)

* Check in the attached file as http://dev.w3.org/html5/spec/fixup.css

* Get rid of the <style> in http://dev.w3.org/html5/spec/

* Change the stylesheet links in http://dev.w3.org/html5/spec/ from

    <link href=http://www.w3.org/StyleSheets/TR/%57%33%43-ED
    rel=stylesheet type=text/css>

  to

    <link href=http://www.w3.org/StyleSheets/TR/W3C-ED rel=stylesheet
    type=text/css><link href=specification.css rel=stylesheet
    type=text/css><link href=fixup.css rel=stylesheet type=text/css>

In addition, I think it would be fine to have dfn.js and toc.js running
in the W3C version.

The copyright year should probably change to 2009, too.

Thanks,

Cameron

-- 
Cameron McCormack ≝ http://mcc.id.au/