body {
  height: 100vh;
  width: 100vw;
  overflow: hidden;
    background: rgb(250, 250, 250);
}

.cy-panzoom {
  top: 2%;
  left: 95%;
}

#cy {
  height: 100%;
  width: 85%;
  position: relative;
  z-index: 0;
  float: left;
  background: rgb(250, 250, 250);
  margin-left: 15%;
}

.menu{
  width: auto;
  position:absolute;
  bottom: 10px;
  right: 10px;
  z-index: 1;
}

.menu > button{
  background-color: #b3cde0;
  border-radius: 50%;
  padding: 6px;
  border: none;
}

.menu > button:focus:active {
  border: none;
  outline: none;
}

#tooltip {
  background: #333;
  color: white;
  font-weight: bold;
  padding: 4px 8px;
  font-size: 13px;
  border-radius: 4px;
}

.cy-panzoom{
  padding-top: 100px;
}

.filter{
  position:absolute;
  top: 7%;
  left: 0.5%;
  border-radius: 25px;
  border: 2px solid #005b96;
  padding-left: 10px; 
  padding-right: 10px;
  padding-top: 10px;
  padding-bottom: 10px;
  min-width: 290px;
  max-width: 290px;
  background-color: #b3cde0;
  z-index: 1;
}

.filter > strong {
  color: #005b96;
}

.filter > label {
  color: #005b96;
  border-radius: 3px;
  padding: 0.1em;
  width: 90%;
  font-family: 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', Arial, sans-serif;
}


.filter > label:hover {
  cursor: pointer;
}

.filter > .open_button{
  background-color: #b3cde0;
  color: #005b96;
  text-align: center;
  text-decoration: none;
  font-size: 16px;
  margin-left: 4px;
  border: 1px solid #005b96;
  border-radius:50%;
  float: right;
  margin-right: 6px;
}

.filter > .open_button:hover{
  cursor: pointer
}

input[type="checkbox"]:checked+label{ 
  font-weight: bold; 
  background-color: #005b96;
  color: #ffffff;
} 

.popper-div {
  border: 1px solid #005b96;
  border-radius: 10px;
  background: #fff;
  z-index: 999;
  padding: 0.25em;
  max-width: auto;
  font-size: 3;
  background: rgba(255, 255, 255);
}

.family{
  max-width: 35%;
}

.popper-div > .close_button{
  position: absolute;
  top: 0;
  right: 0;
  padding-left: 5px;

  background-image: url("../img/close.png");
  width: 19px;
  height: 19px;

  vertical-align: middle;
  border-radius: 50%;
  border: 0;
  background-size: 100%; 
  background-size: 19px auto; 
}

.paper_button{
  background-image: url("../img/paper.png");
  width: 25px;
  height: 25px;

  vertical-align: middle;
  border-radius: 50%;
  border: 0;
  background-size: 100%; 
  background-size: 25px auto; 
}

.paper_button{
  background-image: url("../img/paper.png");
  width: 25px;
  height: 25px;

  vertical-align: middle;
  border-radius: 50%;
  border: 0;
  background-size: 100%; 
  background-size: 25px auto; 
}
.paper_button:hover {
  cursor: pointer
}

.popper-div > b {
  font-size: medium;
}

.calculus_name{
  color: #ffffff;
}

.box_name{
  color: #005b96;
  margin-bottom: 50px;
  padding: 30px; 
  /*text-shadow: 0 0 2px #000000;*/
}

hr {
  display: block;
  height: 1px;
  margin: 0.2em auto;
}

.topnav {
  background-color: #005b96;
  overflow: hidden;
  position: relative;
}

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

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

/* Change the color of links on hover */
.topnav a:hover {
  background-color: #ddd;
  color: #005b96;
}

/* Add a color to the active/current link */
.topnav a.active {
  background-color: #0c16a3;
  color: white;
}

.tippy-box[data-theme~='criteria'] {
  background-color: white;
  color: black;
}

.tippy-box[data-theme~='criteria'] .tippy-arrow {
  color: white;
}