add fenixedu theme for fancytree