#BSTsearchCON {
  height: 360px;
}

#BSTsearchCON .jsavoutput.jsavline {
  height: 30px;
}

#BSTsearchCON .jsavcode {
  margin-left: 310px;
}

#BSTinsertCON {
  height: 540px;
}

#BSTinsertCON .jsavoutput.jsavline {
  height: 60px;
}

#BSTinsertCON .jsavtree { 
  top: 35px;
}

#BSTdeletemaxCON {
  height: 340px;
}

#BSTdeletemaxCON .jsavoutput.jsavline {
  height: 40px;
}

#BSTdeletemaxCON .jsavcode{
  margin-left: 320px;
}

#BSTremoveCON {
  height: 710px;
}

#BSTremoveCON .jsavoutput.jsavline {
  height: 40px;
}

#BSTremoveCON .jsavtree { 
  top: 35px;
}

.thinredline {
  stroke: red;
}

.rededge { /* Make a tree edge to be red */
  stroke: red;
  stroke-width: 3;
}

.rednode { /* Make a node red */
  background-color: white;
  color: red;
  border-color: red;
  box-shadow: 2px 2px 2px rgba(120, 120, 120, 0.5);
}