tree.css

* {
    box-sizing: border-box;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
}

body {
  border: 0px;
  margin: 0px;
  padding: 1em 1em 200px 1em;
  background-color: #f0fff0;
}

div.fig {
  width: 100%;
  margin: 10px 0px;
  padding: 20px;
  border: 1px solid grey;
  background-color: #ffffff;
  -webkit-border-radius: 25px;
  -moz-border-radius: 25px;
  border-radius: 25px;
  -webkit-box-shadow: 10px 10px 12px -6px rgba(0,0,0,0.5);
  -moz-box-shadow: 10px 10px 12px -6px rgba(0,0,0,0.5);
  box-shadow: 10px 10px 12px -6px rgba(0,0,0,0.5);
}

div.svg {
  margin: 0px;
  padding: 0px;
  overflow-x: auto;
}

.udcontrol input,
.udcontrol label {
  cursor: pointer;
}
.udcontrol label:hover {
  color: #0000e0;
  text-decoration: underline;
}

g.edge:hover path {
  stroke: #000000;
  stroke-width: 2;
}

g.edge:hover polygon {
  fill: #000000;
  stroke: #000000;
}

g.edge:hover text {
  font-weight: bold;
}

.var {
  color: grey;
  padding-right: 1em;
}