@font-face {
  font-family: 'IM Fell English SC';
  font-style: normal;
  font-weight: 400;
  src: local('IM FELL English SC'), local('IM_FELL_English_SC'),
       url('fonts/im-fell-english-sc-v6-latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
       url('fonts/im-fell-english-sc-v6-latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

@font-face {
  font-family: 'Fredoka';
  src: url('fonts/Fredoka-VariableFont_wdth,wght.ttf');
}

body {
  font-family: sans serif;
}

a.no-dec {
  color: inherit;
  text-decoration: none;
}

a.no-dec:hover {
  color: inherit;
  text-decoration: none;
}

a.nav {
  color: inherit;
  text-decoration: none;
}

a.nav:hover {
  opacity: 0.5;
}

a.table {
  font-size: 40px; font-family: Fredoka; font-weight: 500;
}

h1 {
  font-family: IM Fell English SC;
  text-align: center;
}

h2 {
  font-family: sans serif;
  font-weight: normal;
  font-size: 180%;
  text-align: center;
}

h3 {
  font-family: sans serif;
  text-align: center;
}

div.main {
  width: 800px;
  margin: auto;
  padding: 20px;
  border-radius: 20px;
  box-shadow: 1px 1px 2px black;
  text-align: justify;
  background: #F8F4F0;
}

div.nav {
  text-align: center;
  width: 800px;
  padding-top: 20px;
  padding-bottom: 20px;
  border-top: solid black 2px;
  border-bottom: solid black 2px;
  margin-left: auto;
  margin-right: auto;
  margin-top:20px;
  margin-bottom:20px;
}

.applet {
  border: solid black 1px;
  display: inline-block;
  padding: 7px;
  margin-left: auto;
  margin-right: auto;
}

/* code by gilly3 on https://stackoverflow.com/questions/15935837/how-to-display-a-range-input-slider-vertically */
input[type=range][orient=vertical]
{
    writing-mode: bt-lr; /* IE */
    -webkit-appearance: slider-vertical; /* Chromium */
    width: 8px;
    padding: 0 5px;
}

div.help {
  display: none;
  font-size: 85%;
  text-align: left;
  background: white;
  border: solid gray 1px;
  padding: 8px;
  width: 400px;
  margin-left: auto;
  margin-right: auto;
  margin-top: 8px;
}