A lot of work to the make-doc stylesheet and script