.topbar {

    height: 1em;
    
}

.loading:after {
  overflow: hidden;
  display: inline-block;
  vertical-align: bottom;
  -webkit-animation: ellipsis steps(4,end) 2000ms infinite;      
  animation: ellipsis steps(4,end) 2000ms infinite;
  content: "\2026"; /* ascii code for the ellipsis character */
  width: 0px;
}

@keyframes ellipsis {
  to {
    width: 1.25em;    
  }
}

@-webkit-keyframes ellipsis {
  to {
    width: 1.25em;    
  }
}

body {

    padding: 1em;    
    line-height: 1.5em;

}

h1 {

    margin: 1em 0 1em 0;

}

input[type='checkbox'] {
  
  margin: 0.5em 0.5em 0.5em 2em;
}

pre {

    background-color: #EEEEEE;
    margin: 0.5em 0;
    padding: 0.25em;
    text-wrap: wrap;
    
}

button {

    font-family: serif;
    font-size: 0.9em;

}

.editor {
    height: 100%;

  
}

.editor > textarea {

    width: 98%;
    height: 20em;
    font-family: monospace;
    font-size: 1.75em;

}

.form > input {

    padding: 0.25em 0.25em;
    margin: 0.5em 0.5em 1.5em 0;
    width: 50%;

}

.jsx > button {
  
    margin: 0.5em 0.5em 0 0;

}

.jsx > textarea.oneline {
    
    width: 98%;
    height: 1.25em;
    margin: 0.5em 0;
    
}

footer {
    
    position: fixed;
    right: 0;
    bottom: 0;
    width: 100%;
    background-color: rgba(255,255,255,0.85);
    padding: 5px;
    text-align: right;
    
}