@font-face {
  font-family: TheSans;
  src: url("fonts/TheSans-B5Plain.otf") format("opentype");
  font-weight: normal;
}

@font-face {
  font-family: TheSans;
  src: url("fonts/TheSans-B7Bold.otf") format("opentype");
  font-weight: bold;
}

@font-face {
  font-family: TheSans;
  src: url("fonts/TheSans-B3Light.otf") format("opentype");
  font-weight: 100;
}

body {
  hyphens: auto;
  font-family: TheSans, sans-serif !important;
}
.downloadDataBtn {
  float: right;
  cursor: pointer;
  font-size: small;
  border: 1px solid lightgrey;
  border-radius: 3px;
  padding: 3px;
  font-style: normal;
}
.downloadDataBtn:hover {
  border-bottom: 1px solid black;
  border-top: 1px solid white;
  border-left: 1px solid white;
  border-right: 1px solid white;
}
p {
  margin: revert;
}