body {
  margin: 0;
  font-family: Arial, Helvetica, sans-serif;
}

.topnav {
  overflow: hidden;
  background-color: #333;
}

.topnav a  {
  float: left;
  color: #f2f2f2;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
  font-size: 17px;
}

.topnav a:hover {
  background-color: #ddd;
  color: black;
}

.topnav a.active {
  background-color: #4CAF50;
  color: white;
}

.button {
    background-color: #4CAF50;
    border: none;
    color: white;
    padding: 15px 32px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 16px;
    margin: 4px 2px;
    cursor: pointer;
  }
  .link {
stroke: #000;
stroke-width: 1.5px;
fill:none;
}
.arcLink {
stroke:red;
stroke-width: 1.5px;
stroke-dasharray:2 2;
fill:lightblue;
fill-opacity:.5;
}
.arcLinkText{
stroke-width: .5px;
font-size:0.80em;
}

.node {
cursor: move;
fill: #ccc;
stroke: #000;
stroke-width: 1.5px;
}

.node.fixed {
fill: #f00;
}
.node.selected{
stroke:blue;
stroke-width: 2.5px;
}
.node.proxim{
fill:green;

}
.link.templink{
stroke-dasharray:5 5;
fill:none;

}