.treeEditor table {
      margin-left: 2em;
      border-collapse: collapse;
  }
  
  .treeEditor td {
      padding: 0.3em 0.5em;
      vertical-align: top;
  }
  
.treeEditor tr.premisa td, .treeEditor tr.zaver td {
      border-bottom: 1px dashed #bbb;
  }
  .treeEditor td.formula {
      vertical-align: top;
      border-left: 1px solid #bbb;
      border-right: 1px solid #bbb;
  }
  
  .comments, .checks, .numbers {
      position: relative;
      
  }
  .comments .comment, .number, .checks input {
      position: absolute;
      white-space: nowrap;
  }
  
  .comments .comment {
      display: inline-block;
      min-width: 5em;
      min-height: 1.2em;
      background: #ffd;
      padding: 0.1em 0.2em;
      border: 1px dotted #bbb;
  }
  
  .branch {
        display: table-cell;
        text-align: center;
        width: 50%;
        }

.branch + .branch {
    padding-left: 1em;
}
 .node {
     text-align: center;
     position: relative;
      margin-top: 1em;
/*     background: #fff;*/
 }
 
 .node.root {
   margin-top: 1em; 
 }
 
 .node .content {
     display: inline-block;
     padding: 0.2em;
     background: #ffd;
     border: 2px solid #bbb;
     border-radius: 5px;
 }
 
 .node:last-child .content {
     background-color: #def;
 }
 
 .node.closed:after {
     position: absolute;
     bottom: -1em;
     left: 30%;
     display: block;
     content: "×";
     text-align: center;
     font-size: 150%;
     font-weight: bold;
     color: red;     
 }
 
 .node .content:focus {
     border-color: darkorange;
     color: #800;
 }
 
 .node .content:empty {
     content: " ";
     background-color: #fed;
     height: 1.2em; width: 1em;
     border-color: red;
 }
 
 .tree, .nodes {
     position: relative;
 }
.tree .edges {
    position: absolute; 
/*    left: 0;  top: 0;*/
 }
 
 .saver {
      position: relative;
  }
 
 .tree textarea { 
     position: absolute; left: 400px; bottom: 0
 }


.nodeMenu img{
    cursor: pointer;
    padding: 0.3em;
     border-radius: 5px; 
     width: 16px;   
}

.menup img:hover, .nodeMenu img:hover {
    background-color: #eee;
    outline: 1px dotted #bbb;
}
.nodeMenu {
    position: absolute;
    bottom: -37px; left: 65%;
/*    height: 5em;*/
    white-space: nowrap;
    background: #fff;
    padding: 0.1em;
    border: 1px solid #bbb;
    border-radius: 5px;
    z-index: 2000;
}

.node .b-opener, .node .b-closer, .node.root .b-closer, .node .ruler { display: none;}
.node.root:last-child .b-closer {display: none}
.node:last-child .b-closer, .node:last-child .ruler {display: inline}
.node.closed:last-child .ruler {display: none}
.node.closed .b-opener  { display: inline;}
.node:last-child.closed .b-closer  { display: none;}
.node.root .deleter { display: none;}

.comment .nodeMenu {
    display: none;
}


.comment .content {
    display: block;
    min-width: 5em;
    height: 1.5em;

}
.comment .content:empty {
    content: " ";
    
}
.charMenu {
    position: absolute;
    bottom: 105%; left: 55%;

    white-space: nowrap;
    background: #fff;
    padding-bottom: 0.1em;
    border: 1px solid #bbb;
    border-radius: 5px;
    z-index: 2000;
}

.closer {
    display: inline-block;
    text-align: center;
    width: 1em;
    color: #000;
    font-weight: bold;
    border: 1px solid #bbb;
    border-radius: 2px;
    cursor: pointer;
    vertical-align: top;
    padding: 0.0em;  
}

.closer:hover {
   background-color: #eee; 
}

.button {
	text-align: center;
	padding: 0.1em;
	background-color: #fff;
	cursor: pointer;
    
}
.button:hover {
	background-color: #eee;
}
.button-disabled {
	text-align: center;
	padding: 5px;
	margin: 3px;
	cursor: default;
	color: #EEE;
	background-color: #BBB;
	border-radius: 3px;
}

.char-insert div {
    display: inline-block;
    width: 15%;
}

.comment .charMenu {
    left: 0; 
}

.saver { display: none; }