body {
  background-color: black;
  color: white;
  font-family: monospace;
  margin: 8em;
}

@media screen and (max-width: 600px) {
  body {
    margin: 8em 0.5em;
  }
}

p {
  font-size: 18px;
}

h1 {
  font-family: serif;
}

#program {
  width: 100%;
  max-width: 800px;
  background-color: black;
  color: white;
  font-family: monospace;
  padding: 4px;
  margin: 10px;
  border: 1px solid grey;
}

#program:focus {
  outline: 1px solid green;
}

label {
  padding: 4px;
}

#format {
  margin-bottom: 10px;
}

.run {
  background-color: green;
  color: white;
  border: none;
  padding: 1em 1.8em 1em 1.8em;
}

.run:hover {
  cursor: pointer;
  background-color: darkgreen;
}

#output {
  margin: 1em 1.8em 1em 1.8em;
  color: #F5FFFA;
  font-weight: bold;
}

#allTM {
  max-height: 300px;
  overflow-y: scroll;
}

.rand {
  background-color: green;
  color: white;
  border: none;
  padding: 1em 1.8em 1em 1.8em;
  float:left;
}

.rand:hover {
  cursor: pointer;
  background-color: darkgreen;
}

sup { vertical-align: top; font-size: 0.6em; }
  
/* CSS for proper fraction styling */
.css-fraction {
    display: inline-block;
    vertical-align: middle;
    text-align: center;
}
.css-fraction .numerator {
    display: block;
    border-bottom: 1px solid white;
    padding-bottom: 2px;
    margin-bottom: 2px;
  font-size: 10px;
}
.css-fraction .denominator {
  font-size: 10px;
    display: block;
    padding-top: 2px;
}