buildtree, tweaks to formatting of html theme