/* tree styles now handled by treeView.js */