#container {
  width: 800px;
  min-height: 550px;
}

#decrement {
  margin-right: 20px;
}

.jsavarray {
  top: 20px;
}

.jsavtree {
  top: 10px;
}

.jsavline {
  height: 45px;
  margin: 0 0 0 20px;
}

#procontrols {
  text-align: center;
}