body {
  padding: 0;
  margin: 0;
  text-align: left;
  font: 14px/21px "HelveticaNeue", "Helvetica Neue", Helvetica, Arial, sans-serif;
  -webkit-font-smoothing: antialiased;
  -webkit-text-size-adjust: 100%;
  font-family: "Share Tech Mono","Lucida Sans Typewriter","Courier New",monospace;
}

h1 {
  font-family: "Courier New", Courier, monospace;
}

.subheading {
  font: italic 16px/1.0 "Courier New", Courier, monospace;
  padding-bottom:10px;
}

#menu {
  list-style: none;
  font: 18px/1.231 "Courier New", Courier, monospace;
  margin-bottom: 60px;
}

.topnav {
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
}

ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
  overflow: hidden;
}

li {
  float: left;
}

li a {
  display: block;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
}

li a:hover:not(.active) {
  border-bottom-left-radius: 30px;
  border-top-left-radius: 60px;
  border-top-right-radius: 30px;
  border-bottom-right-radius: 60px;
}

li .homepage {
  /* font-size: 14px; */
  margin-right: 10px;
}

.radio-img {
  margin-top: 8px;
  margin-bottom: -14px;
  border-radius: 20px;
}

.theme-chooser {
  float: right;
}

.outerdiv {
  padding: 0px 0px 0px 0px;
  margin: auto;
  margin-top: 52px;
  margin-bottom: 52px;
  width: 80%;
  border-radius: 25px;
}

.innerdiv {
  margin: auto;
  width: 60%;
  padding-top: 20px;
  padding-bottom: 20px;
}

.audio-player {
  margin: 20px;
}

/* Any image in the main body of text */
.main-content-img {
  border-radius: 5px;
  width: 100%;
  padding-top: 30px;
}

.body-content-img {
  border-radius: 5px;
  width: 100%;
  padding-top: 30px;
}

pre code {
  display: block;
  padding: 20px;
  margin-right:10px;
  margin-left:10px;
  overflow-x: auto;
}

.theme-chooser-symbol {
  width: 80px;
}

/* iPhone X */
@media only screen
    and (device-width : 375px)
    and (device-height : 812px)
    and (-webkit-device-pixel-ratio : 3) {

  .outerdiv {
    width: 95%;
  }

  .innerdiv {
    width: 90%;
  }

  #menu {
    font-size: 40px;
  }
}

/* iPhone 6/6S */
@media only screen 
    and (min-device-width : 375px)
    and (max-device-width : 667px)
    and (width : 375px)
    and (height : 559px)
    and (color : 8)
    and (device-aspect-ratio : 375/667)
    and (aspect-ratio : 375/559)
    and (device-pixel-ratio : 2)
    and (-webkit-min-device-pixel-ratio : 2) {

  .outerdiv {
    width: 95%;
  }

  .innerdiv {
    width: 90%;
  }

  #menu {
    font-size: 40px;
  }
}

/* iPhone 5/5S */
@media only screen 
    and (min-device-width: 320px) 
    and (max-device-width: 568px)
    and (-webkit-min-device-pixel-ratio: 2) {

  .outerdiv {
    width: 95%;
  }

  .innerdiv {
    width: 90%;
  }

  #menu {
    font-size: 40px;
  }
}