updated topdoc-theme, made debuggable