#threeSATtoHCCON {
  height: 750px;
}

#threeSATtoHCCON .jsavoutput.jsavline {
  height: 190px;
}

#threeSATtoHCCON .node{
  radius: 15;
  fill: blue;
}
#threeSATtoHCCON .jsavarray .jsavindex{
  min-width:30px;
  min-height:30px;
  height:30px;
  line-height:30px;
  text-align:center;
}

#threeSATtoHCCON .pointing-left {
  -webkit-transform: translateY(-5px) translateX(1px);
  -moz-transform: translateY(-5px) translateX(1px);
  -o-transform: translateY(5px) translateX(-1px);
  transform: translateY(-5px) translateX(1px);
}
#threeSATtoHCCON .pointing-right {
  -webkit-transform: translateY(5px) translateX(-1px);
  -moz-transform: translateY(5px) translateX(-1px);
  -o-transform: translateY(5px) translateX(-1px);
  transform: translateY(5px) translateX(-1px);
}

#threeSATtoHCCON .blur{
  opacity:0.5;
}

#threeSATtoHCCON .variablenode{
  background-color:Tan;
  width:30px;
  height:30px;
  min-width:30px;
  min-height:30px;
}

#threeSATtoHCCON .invisible{
  opacity:0;
}


#threeSATtoHCCON .jsavgraphedge{
  stroke-width:1.5px;
}

#threeSATtoHCCON .edgetrue{
  stroke:DarkGreen;
}

#threeSATtoHCCON .edgefalse{
  stroke:FireBrick;
}

#threeSATtoHCCON .edgeconnect{
  stroke:DarkViolet;
}

#threeSATtoHCCON .zoomlabel{
  font-size: 125%;
}

#threeSATtoHCCON .extranode{
  width:30px !important;
  height:30px !important;
  min-width:30px !important;
  min-height:30px !important;
  opacity:0.65;
  background-color:Khaki;
}

#threeSATtoHCCON .democlausenode{
  width:30px !important;
  height:30px !important;
  min-width:30px !important;
  min-height:30px !important;
  opacity:0.65;
  background-color:Teal;
}


#threeSATtoHCCON .clausenode{
  width: 30px !important;
  height: 30px !important;
  min-width: 30px !important;
  min-height: 30px !important;
  opacity:0.5;
}

#threeSATtoHCCON .clauseedge{
  stroke: SlateGray;
}

#threeSATtoHCCON .boldedge{
  stroke-width:3.5px !important;
}

#threeSATtoHCCON .highlightedge{
  stroke:Blue;
  stroke-width:3px !important;
  opacity:1;
}