html,
body {
  height: 100%;
}

body {
  font-family: Menlo, monospace;
  font-size: 13pt;

  background: whiteSmoke;
  color: #000;
  margin: 0px;
}
.CodeMirror {
  font: inherit;
  height: auto;
  width: 100%;
  // position: absolute;
  line-height: 1.5;
  min-height: 100%;
}

.CodeMirror pre.CodeMirror-placeholder {
  color: #999;
}

.CodeMirror-focused .CodeMirror-selected {
  background: #bedcfb;
}

.CodeMirror-lines {
  padding: 50px 0;
}
.CodeMirror pre {
  padding: 0 100px;
}
#canvas {
  display: none;
}
#editor {
  flex: 1;
  position: relative;
  display: flex;
}

html,
body {
  padding: 0;
  margin: 0;
  height: 100%;
  width: 100%;
}

#workaround {
  min-height: 100vh;
}

#workaround {
  display: flex;
  flex-direction: column;
}

#toolbar {
  padding: 15px 100px;
  position: sticky;
  top: 0;
  z-index: 10;
  background: #eceff4;
  border-bottom: 1px solid #c5d6de;
  display: flex;
}

footer {
  padding: 10px;
  display: flex;
  overflow: hidden;
  border-top: 1px solid #c7c7c7;
}

.spacer {
  flex-grow: 1;
}

a {
  color: #61b500;
  text-decoration: none;
  font-weight: bold;
}

.waiting {
  display: inline-block;
  border: 5px solid #04b9ff;
  border-top: 5px solid #acdff3;
  border-radius: 50%;
  width: 12px;
  height: 12px;
  animation: spin 1s linear infinite;
  margin: 0 5px;
  position: absolute;
}

@keyframes spin {
  0% {
    transform: rotate(0deg);
  }
  100% {
    transform: rotate(360deg);
  }
}

@-webkit-keyframes spin {
  0% {
    -webkit-transform: rotate(0deg);
  }
  100% {
    -webkit-transform: rotate(360deg);
  }
}

#preamble {
  padding: 20px 100px;
  opacity: 0.8;

  background: #f2f3f6;
  color: #343434;
  // position: absolute;
}

.logo {
  padding-right: 15%;
}

select {
  font-size: 110%;
  background: rgb(255, 255, 255);
  color: #4a4a4a;
}

#weirdness-stuff {
  display: inline-block;
  text-align: center;
  vertical-align: middle;
  /* margin-bottom: -10px; */
  // border: 1px solid #e2e2e2;
  padding: 10px;
}

.CodeMirror #preamble {
  border-bottom: 1px solid #ccc;
}

#do-stuff {
  padding: 6px 15px;
  position: fixed;
  bottom: 10px;
  right: 10px;
  background: #04b1ff;
  border: 0;
  border-radius: 5px;
  font-size: 117%;
  font-family: Menlo, monospace;
  cursor: pointer;
  color: white;
}
// #do-stuff::after {
//     content: " <Tab>"
// }
#go-out-1 {
  padding: 6px 15px;
  position: fixed;
  bottom: 10px;
  left: 10px;
  background: #ffbf57;
  border: 0;
  border-radius: 5px;
  font-size: 117%;
  font-family: Menlo, monospace;
  cursor: pointer;
  color: white;
}
#go-out-2 {
  padding: 6px 15px;
  position: fixed;
  bottom: 10px;
  left: 275px;
  background: #1bdb68;
  border: 0;
  border-radius: 5px;
  font-size: 117%;
  font-family: Menlo, monospace;
  cursor: pointer;
  color: white;
}
@media (max-width: 900px) {
  #preamble,
  #toolbar {
    padding: 15px 20px;
  }
  .CodeMirror pre {
    padding: 0 20px;
  }
  #weirdness-stuff {
    display: none !important;
  }
  select,
  #do-stuff {
    font-size: 120%;
  }
  #do-stuff {
    width: 100%;
    border-radius: 0;
    bottom: 0;
    right: 0;
    box-sizing: border-box;
  }
  #go-out-1 {
    width: 100%;
    border-radius: 0;
    bottom: 10%;
    left: 0;
    box-sizing: border-box;
  }
  #go-out-2 {
    width: 100%;
    border-radius: 0;
    bottom: 5%;
    left: 0;
    box-sizing: border-box;
  }
}