@font-face {
    font-family: 'FiraMono';
    src: url('fonts/firamono-regular-webfont.woff2') format('woff2'),
         url('fonts/firamono-regular-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

code {
  font-family: 'FiraMono', monospace !important;
  white-space: pre;
}

dt {
  white-space: pre;
}

pre {
  font-family: 'FiraMono', monospace !important;
  line-height: 1.3;
}

.form-control {
  width: auto !important;
  display: inline !important;
  font-family: 'FiraMono', monospace !important;
}

li .btn {
  font-family: 'FiraMono', monospace !important;
  vertical-align: top !important;
  margin: 0.1em;
}

.fira {
  font-family: 'FiraMono', monospace !important;
}

textarea {
  overflow: hidden;
  resize: none !important;
}

.form-check-label {
  vertical-align: top;
  font-weight: bold;
  padding-right: 0.75em;
}

.form-check {
  margin-left: 0.75em;
}

.form {
  margin-top: 1em;
}

.CodeMirror {
  height: auto;
}

#start-tutorial, #stop-tutorial, #api-key {
  margin-bottom: 1em;
}