Source superscript and svg graph highlighting fixes