#graphView .card-body {
  padding: 0;
}

#graphView text {
  font-family: sans-serif;
  font-size: 12px;
}

#graphView .highlight path {
  stroke: var(--main-color);
}

#graphView .highlight polygon {
  stroke: var(--main-color);
  fill: var(--main-color);
}

#graphView .highlight text {
  fill: var(--main-color);
}

#graphView .graph > polygon {
  fill: none !important;
  stroke: none !important;
}

#graphView polygon,
#graphView text,
.hyperhyper #graphView .relevant polygon,
.hyperhyper #graphView .relevant text {
  fill: black;
}

#graphView path,
#graphView polygon,
#graphView ellipse,
.hyperhyper #graphView .relevant path,
.hyperhyper #graphView .relevant polygon,
.hyperhyper #graphView .relevant ellipse {
  stroke: black;
}

#graphView ellipse {
  fill: white;
}

.hyperhyper #graphView polygon,
.hyperhyper #graphView text {
  fill: var(--gray-dark);
}

.hyperfilter #graphView polygon,
.hyperfilter #graphView text {
  fill: none;
}

.hyperhyper #graphView path,
.hyperhyper #graphView polygon,
.hyperhyper #graphView ellipse {
  stroke: var(--gray-dark);
}

.hyperfilter #graphView path,
.hyperfilter #graphView polygon,
.hyperfilter #graphView ellipse {
  stroke: none;
}

#graphView .edge.hover.trace-0 path,
#graphView .edge.hover.trace-0 polygon,
#graphView .edge.highlight.trace-0 path,
#graphView .edge.highlight.trace-0 polygon {
  stroke: var(--trace-0);
}

#graphView .edge.hover.trace-1 path,
#graphView .edge.hover.trace-1 polygon,
#graphView .edge.highlight.trace-1 path,
#graphView .edge.highlight.trace-1 polygon {
  stroke: var(--trace-1);
}

#graphView .edge.hover.trace-0 text,
#graphView .edge.hover.trace-0 polygon,
#graphView .edge.highlight.trace-0 text,
#graphView .edge.highlight.trace-0 polygon {
  fill: var(--trace-0);
}

#graphView .edge.hover.trace-1 text,
#graphView .edge.hover.trace-1 polygon,
#graphView .edge.highlight.trace-1 text,
#graphView .edge.highlight.trace-1 polygon {
  fill: var(--trace-1);
}

#graphView .edge.hover path,
#graphView .edge.hover polygon,
#graphView .edge.trace-0.trace-1 path,
#graphView .edge.trace-0.trace-1 polygon {
  stroke: var(--blue);
}

#graphView .edge.hover text,
#graphView .edge.hover polygon,
#graphView .edge.trace-0.trace-1 text,
#graphView .edge.trace-0.trace-1 polygon {
  fill: var(--blue);
}

#graphView .edge.highlight path,
#graphView .edge.highlight polygon {
  stroke: var(--blue);
  stroke-width: 2;
}

#graphView .edge.highlight text,
#graphView .edge.highlight polygon {
  fill: var(--blue);
}

#graphView .edge.highlight.trace-0 text,
#graphView .edge.highlight.trace-1 text {
  font-weight: bold;
}

#graphView .node.hover ellipse,
#graphView .node.hover.trace-0.trace-1 ellipse {
  fill: var(--gray-light);
  stroke: var(--blue);
}

#graphView .node.hover text,
#graphView .node.hover.trace-0.trace-1 text {
  fill: var(--blue);
}

#graphView .node.hover.trace-0 ellipse {
  stroke: var(--trace-0);
}

#graphView .node.hover.trace-1 ellipse {
  stroke: var(--trace-1);
}

#graphView .node.hover.trace-0 text {
  fill: var(--trace-0);
}

#graphView .node.hover.trace-1 text {
  fill: var(--trace-1);
}

#graphView .node.highlight ellipse,
#graphView .node.highlight.trace-0.trace-1 ellipse {
  fill: var(--blue);
  stroke: var(--blue);
}

#graphView .node.highlight text,
#graphView .node.highlight.trace-0.trace-1 text,
#graphView .node.hover.highlight text {
  fill: var(--white);
  font-weight: bold;
}

#graphView .node.highlight.trace-0 ellipse {
  fill: var(--trace-0);
  stroke: var(--trace-0);
}

#graphView .node.highlight.trace-1 ellipse {
  fill: var(--trace-1);
  stroke: var(--trace-1);
}

#graphView>div>svg {
  position: absolute;
  width: 100%;
  height: 100%;
}

#graphViewContainer { 
  margin-bottom: 100px;
}

#graphView .card-body > div.active {
  display: block;
}

#graphView .card-body > div {
  display: none;
}

#graphView .CodeMirror {
  height: auto;
}