Allow preference sections to define CSS class names

Thomas Bruederli

2015-04-17 a3644638aaf0418598196a870204e0b632a4c8ad

 program/js/treelist.js

@@ -334,7 +334,7 @@

      // re-render the entire subtree
      if (parent_node.children.length == 1) {
        render_node(parent_node, parent_li.parent(), parent_li);
        render_node(parent_node, null, parent_li);
        li = id2dom(node.id);
      }
      else {