finish translating .doc to .html (including colorized examples)
