A copy of default.css (because default.css.redirect doesn't seem to work on dev.w3.org.

Don't copy when publish (or better figure out why redirect doesn't work)

Author: alexmog1