body {
     font-family: Arial, sans-serif;
     margin: auto;
     margin-top: 0.8rem;
     max-width: 1000px;
     background-color: #f8f8f8;
     overflow-y: scroll;
 }
 #ide {
     border: 1px solid silver;
     border-radius: 4px;
     padding: 1.2rem;
     min-width: 600px;
     margin: auto;
     background-color: #e8f2ff;
 }

input {
    display: none;
 }
 #file-drop {
    text-align: center;
    font-size: 1.2em;
    margin-bottom: 0.5rem;
 }


 .CodeMirror {
     width: 100%;
     border: 1px solid silver;
     border-radius: 0px 5px 5px 0px;
 }
 .CodeMirror-activeline-background {
     background: #e8f2ff !important;
 }
 .CodeMirror-focused .cm-matchhighlight {
     background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAYAAABytg0kAAAAFklEQVQI12NgYGBgkKzc8x9CMDAwAAAmhwSbidEoSQAAAABJRU5ErkJggg==);
     background-position: bottom;
     background-repeat: repeat-x;
 }