Added doc/header.rmu for generating stand-alone styled HTML.