body {
    overflow: hidden;
}

svg {
  background-color: #fff;
  cursor: default;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
}

svg:not(.active):not(.ctrl) {
  cursor: crosshair;
}

#history .toolbar {
  margin: 5px;
}

.toolbar a.toollink, .toolbar a.toollink:link, .toolbar a.toollink:visited  {
  color: black;
}

.toolbar a.toollink:active  {
  color: blue;
}


#history svg {
  background-color: #eee;
}

#history path.link {
  fill: none;
  stroke: #000;
  stroke-width: 4px;
  cursor: default;
}

#history svg:not(.active):not(.ctrl) path.link {
  cursor: crosshair;
}

#history path.link.selected {
  stroke-dasharray: 10,2;
}

#history path.link.dragline {
  pointer-events: none;
}

#history path.link.hidden {
  stroke-width: 0;
}

#history circle.node {
  stroke-width: 1.5px;
  cursor: pointer;
  stroke: #333;
  stroke-width: 2px;
}

#history circle.unfinished {
  fill: rgb(238, 200, 241);
}

#history circle.finished {
  fill: #F6FBFF;
}

#history circle.backup {
  fill: rgb(241, 238, 200);
}

#history circle.node:hover {
  stroke-width: 1.5px;
  cursor: pointer;
  fill: rgb(200, 238, 241);
  stroke: #333;
  stroke-width: 2px;
}

#history circle.selected {
  fill: rgb(200, 238, 241) !important;
}

#history circle.node.reflexive {
  stroke: #000 !important;
  stroke-width: 2.5px;
}

#history text {
  font: 12px sans-serif;
  pointer-events: none;
}

#history text.id {
  text-anchor: middle;
  font-weight: bold;
}

#show path.link {
  fill: none;
  stroke-width: 1.5px;
}

#show circle {
  fill: #ccc;
  stroke: #000;
  stroke-width: 3px;
}

#show .node.nbefore circle {
  stroke: red;
}

#show .node.nafter circle {
  stroke: green;
}

#show .node circle[data-clicked="1"] {
  stroke: #00f;
  stroke-width: 4px;
}

#show circle.selected {
  stroke-dasharray: 2,2;
}

#show text {
  fill: #000;
  font: 10px sans-serif;
  pointer-events: none;
}

#show .node {
  cursor: pointer;
}

#show.node:hover {
  cursor: pointer;
}

#show .node.hidden {
  visibility: hidden;
}
#history {
  background: #ccc;
  overflow: hidden !important;
}

#splitter {
  height: 100vh;
  width: 100%;
}
#splitter > div {
  overflow: auto;
}
.hsplitbar {
  width: 5px;
  background: #aaa;
}

#show {
  background: #ccc;
  overflow: hidden !important;
}

#graph, #graphbox {
  background: #ccc;
  overflow: hidden !important;
}

#side {
  background: #fff;
  font-size: 14px;
}

#side-internal {
  margin: 5px;
}


.call-arrow {
  stroke: #666;
}

.return-arrow {
  stroke: #666;
  stroke-dasharray: 10,2;
}

.sequence-arrow {
  stroke: #F00;
}

.initial-arrow {
  stroke: #666;
}

.label_text {
  fill: #000;
}


.toolbar {
  float: left;
  overflow: none;
  width: 252px;
  height: auto;
  z-index: 3;
  position: absolute;
}

#graph {
  float: left;
  overflow: hidden;

  z-index: 1;

}

.toolbar input[type=radio] {
    margin: 10px;
    display: none
}
 
.toolbar input[type=radio] + label {
    display:inline-block;
    margin:-2px;
    padding: 4px 12px;
    margin-bottom: 0;
    font-size: 14px;
    line-height: 20px;
    color: #333;
    text-align: center;
    text-shadow: 0 1px 1px rgba(255,255,255,0.75);
    vertical-align: middle;
    cursor: pointer;
    background-color: #f5f5f5;
    background-image: -moz-linear-gradient(top,#fff,#e6e6e6);
    background-image: -webkit-gradient(linear,0 0,0 100%,from(#fff),to(#e6e6e6));
    background-image: -webkit-linear-gradient(top,#fff,#e6e6e6);
    background-image: -o-linear-gradient(top,#fff,#e6e6e6);
    background-image: linear-gradient(to bottom,#fff,#e6e6e6);
    background-repeat: repeat-x;
    border: 1px solid #ccc;
    border-color: #e6e6e6 #e6e6e6 #bfbfbf;
    border-color: rgba(0,0,0,0.1) rgba(0,0,0,0.1) rgba(0,0,0,0.25);
    border-bottom-color: #b3b3b3;
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffffff',endColorstr='#ffe6e6e6',GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
    -webkit-box-shadow: inset 0 1px 0 rgba(255,255,255,0.2),0 1px 2px rgba(0,0,0,0.05);
    -moz-box-shadow: inset 0 1px 0 rgba(255,255,255,0.2),0 1px 2px rgba(0,0,0,0.05);
    box-shadow: inset 0 1px 0 rgba(255,255,255,0.2),0 1px 2px rgba(0,0,0,0.05);
}
 
.toolbar input[type=radio]:checked + label {
       background-image: none;
    outline: 0;
    -webkit-box-shadow: inset 0 2px 4px rgba(0,0,0,0.15),0 1px 2px rgba(0,0,0,0.05);
    -moz-box-shadow: inset 0 2px 4px rgba(0,0,0,0.15),0 1px 2px rgba(0,0,0,0.05);
    box-shadow: inset 0 2px 4px rgba(0,0,0,0.15),0 1px 2px rgba(0,0,0,0.05);
        background-color:#e0e0e0;
}

.toolbar input[type=checkbox] {
    margin: 10px;
    display: none
}
 
.toolbar input[type=checkbox] + label {
    display:inline-block;
    margin:-2px;
    padding: 4px 12px;
    color: black;
    cursor: pointer;
}


.toolbar input[type=checkbox]:checked + label {
    color: blue;
}

div.tooltip {
    position: absolute;
    left: 1px;
    right: 1px;
    max-height: 200px;
    max-width: 400px;
    overflow: auto;
    padding: 5px;
    padding-bottom: 10px;
    font: 12px sans-serif;
    background: #DDD;
    border: 0px;
    border-radius: 8px;
    z-index: 2000;
}

div.history-tooltip {
    max-width: 150px;
}


.tooltip.hidden {
    display: none;
}


#history {
  height: 100%;
}

.filter .internal {
  margin: 4px 8px;
}

.filter .internal select {
  width: 100%;
}

.filter .internal a {
  text-decoration: none;
  display:inline-block;
    margin: 3px -1px;
    padding: 4px 0;
   /*padding: 4px 12px;*/
    margin-bottom: 0;
    font-size: 14px;
    width: 100%;
    line-height: 15px;
    color: #333;
    text-align: center;
    text-shadow: 0 1px 1px rgba(255,255,255,0.75);
    vertical-align: middle;
    cursor: pointer;
    background-color: #f5f5f5;
    background-image: -moz-linear-gradient(top,#fff,#e6e6e6);
    background-image: -webkit-gradient(linear,0 0,0 100%,from(#fff),to(#e6e6e6));
    background-image: -webkit-linear-gradient(top,#fff,#e6e6e6);
    background-image: -o-linear-gradient(top,#fff,#e6e6e6);
    background-image: linear-gradient(to bottom,#fff,#e6e6e6);
    background-repeat: repeat-x;
    border: 1px solid #ccc;
    border-color: #e6e6e6 #e6e6e6 #bfbfbf;
    border-color: rgba(0,0,0,0.1) rgba(0,0,0,0.1) rgba(0,0,0,0.25);
    border-bottom-color: #b3b3b3;
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffffff',endColorstr='#ffe6e6e6',GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
    -webkit-box-shadow: inset 0 1px 0 rgba(255,255,255,0.2),0 1px 2px rgba(0,0,0,0.05);
    -moz-box-shadow: inset 0 1px 0 rgba(255,255,255,0.2),0 1px 2px rgba(0,0,0,0.05);
    box-shadow: inset 0 1px 0 rgba(255,255,255,0.2),0 1px 2px rgba(0,0,0,0.05);
}

.filter .internal a:active {
  background-image: none;
    outline: 0;
    -webkit-box-shadow: inset 0 2px 4px rgba(0,0,0,0.15),0 1px 2px rgba(0,0,0,0.05);
    -moz-box-shadow: inset 0 2px 4px rgba(0,0,0,0.15),0 1px 2px rgba(0,0,0,0.05);
    box-shadow: inset 0 2px 4px rgba(0,0,0,0.15),0 1px 2px rgba(0,0,0,0.05);
        background-color:#e0e0e0;
}

