html  {
   height: 100%;
}

body {
   height: 100%;
   background-color: #1C3D54;
   font-family: Arial, Helvetica, sans-serif;
}

body.busy-cursor {
  cursor: progress;
}

.box {
  display: flex;
  flex-flow: column;
  height: 100%;
}

.box .message {
  flex: 0 1 auto;
}

.box .editor {
   flex: 1 1 auto;
   margin-top:0;
   height:100%;
   position:relative;
}

.CodeMirror {
   position:absolute;
   height:100%;
   width:100%;
}

.fa.fa-floppy-o.saveneeded{color:#F00}
.fa.fa-download.saving{color:#F00}

.disabled {
   background: #336E96;
   color: #CCCCCC;
   cursor: default;
}

.message { font-size: 70%;  padding-left:8px; margin-top:5px;  padding-top:5px; padding-bottom:5px; }
.message.info { background-color: #336E96; color:#EDEDED;}
.message.error { background-color: #880000; color:white;}
.message.footnote { font-style:italic; padding-left:4px; padding-top:5px; margin-top:5px  }
.message.footnote.info { background-color: #1C3D54; color:#999;}
.message.footnote.error { background-color: #880000; color:white;}