Little fix to the italics font on vebl-tree html page.