Support colored text in HTML rendering pipeline for LaTeX#423

pehrsoderman merged 1 commit into

Kattis:masterKattis/problemtools:masterfrom

Matistjati:colored-text-htmlMatistjati/problemtools:colored-text-htmlCopy head branch name to clipboard