nav {
  margin-bottom: 55px;
}

.pdf_preview {
  margin-top: 41px;
}

.editor_panel {
  border: solid;
  height: 600px;
}

.CodeMirror {
  height: 600px;
  font-size: 10pt;
}

a.custom-card,
a.custom-card:hover {
  color: inherit;
}

.build_canvas {
  height: 800px;
  width: 100%;
  background: blue;
}

#loading-gif {
  position: relative;
  top: 43%;
  left: 49%;
}

.build_canvas {
  font-size: 0.5em;
  overflow-y: scroll;
}