@import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;600;700&display=swap');
html,
body {
  margin: 0 !important;
}

body {
  font-family: 'Open Sans', Lato, 'Helvetica Neue', Arial, Helvetica, sans-serif !important;
  overflow: visible;
}

button,
select,
option,
input {
  font-family: 'Open Sans', Lato, 'Helvetica Neue', Arial, Helvetica, sans-serif !important;
}

code {
  color: rgb(54, 54, 54) !important;
  display: inline-block;
}

/* https://stackoverflow.com/a/35312288 */
.frac {
  display: inline-block;
  position: relative;
  vertical-align: middle;
  letter-spacing: 0.001em;
  text-align: center;
}
.frac > span {
  display: block;
  padding: 0.1em;
}
.frac span.bottom {
  border-top: thin solid black;
}
.frac span.symbol {
  display: none;
}

/* ul {
  list-style: disc outside none !important;
} */