rect:hover{
  stroke: red;
  stroke-width: 2;
  fill: red;
  fill-opacity: 0.1;
}
.snapshot-div {
  height: 100%;
  width: 100%;
  overflow: scroll;
}
.dotted-line {
  fill: none;
  stroke: black;
  opacity: 0.5;
  stroke-width: 2;
  stroke-dasharray: 10, 4;
}
.dim {
  opacity: 0.25;
}
.hidden {
  fill: none;
  stroke: none;
}
.symbol {
  stroke: black;
}
.local {
  fill: white;
  fill-opacity: 0.0;
}
.global {
  fill: grey;
  fill-opacity: 0.25;
}
.reloc {
  fill: transparent;
  stroke: black;
  stroke-width: 1;
  stroke-dasharray: 10, 8;
}
.arrow {
  stroke: black;
  fill: transparent;
}
.bold-font {
  font-weight: bold;
}
.italics-font {
  font-style: italic;
}
.highlight {
  stroke: red;
  stroke-width: 4;
}
