#output, #params, #options, textarea{
  font: 16px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
}

html, body, div#content_login{
  height: 100%;
  padding: 0;
  margin: 0;
}

div.lm_content{
  display: flex;
  flex-direction: column;
}

div#user_control{
  display: flex;
}

div#user_control > button {
  margin: 5px;
}

div#compile {
  display: flex;
  align-items: center;
  padding: 0 5px 0 0;
}

input#params {
  flex: 1;
  border: none;
  padding: 0 5px;
}

div#editor, div#file_tree{
  flex: 1;
  background-color: white;
}

div#file_tree{
  overflow: auto;
}

textarea{
  resize: none;
  flex: 1;
  padding: 2px;
  border: none;
}

div#output{
  white-space: pre-wrap;
  overflow: auto;
  padding: 2px;
  flex: 1;
  background-color: white;
}

div#options{
  margin: 0 10px;
  display: inline;
  color: dimgrey;
}


span.error{
  color: #af0000;
}

.jstree-contextmenu{
  z-index: 1000;
}

div#overlay{
  flex-direction: column;
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  z-index: 1001;
  background-color: rgba(255, 255, 255, 0.71);
}

div#diff-select{
  display: flex;
  flex: 0 0 30px;
}
div#diff-src{
  display: flex;
  flex:4;
  max-height: 80%;
}
div#diff-input{
  display: flex;
  flex: 1;
}
#diff-input > textarea{
  border-top: 1px solid #999999;
}
#diff-select > button{
  flex: 1;
  font-size: 16px;
}
#overlay .spacer{
  width: 60px;
  border-left: 1px solid #999999;
  border-right: 1px solid #999999;
  background-color: #efefef;
}

div#diff-desc{
  background-color: #efefef;
  text-align: center;
}

div#diff-src > div{
  flex: 1;
  position: relative;
}
div#diff-src > #acediff-gutter {
  flex: 0 0 60px;
  border-left: 1px solid #999999;
  border-right: 1px solid #999999;
  background-color: #efefef;
  overflow: hidden;
}
#acediff-gutter svg {
  background-color: #efefef;
}

#acediff-left-editor {
  position: absolute;
  top: 0;
  bottom: 0;
  width: 100%;
}
#acediff-right-editor {
  position: absolute;
  top: 0;
  bottom: 0;
  width: 100%;
}
.acediff-diff {
  background-color: #d8f2ff;
  border-top: 1px solid #a2d7f2;
  border-bottom: 1px solid #a2d7f2;
  position: absolute;
  z-index: 4;
}
.acediff-diff.targetOnly {
  height: 0px !important;
  border-top: 1px solid #a2d7f2;
  border-bottom: 0px;
  position: absolute;
}
.acediff-connector {
  fill: #d8f2ff;
  stroke: #a2d7f2;
}

.acediff-copy-left {
  float: right;
}
.acediff-copy-right,
.acediff-copy-left {
  position: relative;
}
.acediff-copy-right div {
  color: #000000;
  text-shadow: 1px 1px #ffffff;
  position: absolute;
  margin: 2px 3px;
  cursor: pointer;
}
.acediff-copy-right div:hover {
  color: #004ea0;
}
.acediff-copy-left div {
  color: #000000;
  text-shadow: 1px 1px #ffffff;
  position: absolute;
  right: 0px;
  margin: 2px 3px;
  cursor: pointer;
}
.acediff-copy-left div:hover {
  color: #c98100;
}