#editor {
  margin: auto;
  position: relative !important;
  width: 100%;
  height: 500px;
  display: none;
  font-variant-ligatures: none;
}

#paste {
  font-family: 'monospace'
}

html, body, #content {
  width: 100%;
}

@font-face {
  font-family: "AnonymousPro";
  src: url("/static/fonts/AnonymousPro-Regular.woff2") format('woff2');
}

.options label {
  padding-right: 0.5em;
}

.options label:not(:first-child) {
  padding-left: 2em;
}

pre {
  color: #000;
  background-color: #FFF;
}