html, body {
  width: 100%;
  height: 100%;
}
#header {
  width:100%;
}
#disclaimer {
  font-size:12px
}
.container {
  display: table;
  width: 100%;
  min-height: 650px;
}
#col1, #col2, #col3 {
  display: table-cell;
  width: auto;
  font-family: monospace;
}
#col1 {
  width:45%;
  min-width: 100px;
  position: relative
}
#obj_editor {
  width:100%;
  height:100%;
  resize: none;
  border-color: grey;
  position: absolute
}
#col2{
  min-width: 160px;
  padding: 8px 10px 15px 15px;
  margin: 0;
  text-align: center;
}
#prettify {
  min-width:160px;
  margin: 2px
}
#col3 {
  width:45%;
  min-width: 100px;
  position: relative
}
#output {
  width:100%;
  height:100%;
  border-style: solid;
  border-width: 1px;
  border-color: grey;
  white-space: pre-wrap;
  position: absolute
}