Bugfix d9e6d4a2f047e7dc3aedc1a886976baa16305b74: hide tools when category closes

src/CategoryBase.js

@@ -59,6 +59,7 @@ function CategoryBase (id, data) {
   }
 
   this.tools = new tabs.Tabs(this.dom)
+  this.tools.node.classList.add('tools')
 
   this.domContent = document.createElement('div')
   this.domContent.className = 'content'