Adding to the HTML formatting capabilities of StepList, which is now called DocBuilder.
Modified DocReader to read formatting specs.  Patched Markaby to support HTML5 tags.