Add support for setting text language and direction of the generated HTML page and the DIV containing the problems#67

drdrew42 merged 2 commits into

drdrew42:masterdrdrew42/renderer:masterfrom

taniwallach:add-lang-and-dir-supporttaniwallach/renderer:add-lang-and-dir-supportCopy head branch name to clipboard