updated topdoc and topdoc-theme