body {
  background-color: #f0f0f0;

}

circle {
  fill: none;
  stroke: #666666;
  stroke-width: 1.5px;
}

.point {
  fill: #cc66ff;
  stroke-width: 0px;
}

.nametext {
  font-size: 3vh;
}

text {
  font-family: "Garamond", Times, serif;
  color: #666666;
}

svg {
  margin: 20px;
}

#venn-svg {
margin-left: 100px;
}

.indented {
  width: 380px;
  margin-left: 100px;
  margin-top: 100px;
}

.blacklink {
  color: black;
}

.blacklink a:visited {
  color: grey;
}