Node labels in HTML for colored/bold font#2

rnatella wants to merge 2 commits intoProgram-Analysis:masterProgram-Analysis/Java-to-AST-with-Visualization:masterfrom

rnatella:masterrnatella/Java-to-AST-with-Visualization:masterCopy head branch name to clipboard