body {
    margin: 0px;
    padding: 0.5%;
  }

  .window {
    border: 1px solid #3030ff;
    background-color: #ddddff;
    margin: 0.5%;
    padding: 0px;
  }
  
  .window h1 {
    font-family: sans-serif;
    font-size: medium;
    background-color: #aaaaff;
    padding: 7px;
    margin: 0px;
  }

  .window h2 {
    font-family: sans-serif;
    font-size: smaller;
    background-color: #aaaaff;
    padding: 6px;
    margin: 0px;
  }

  .main-content {
    padding: 10px;
  }

  #results, #log {
    width: 48.5%;
    margin: 0.5%;
    -moz-box-sizing: border-box;
  }
  
  #results {
    float: left;
  }
  
  #log {
    float: right;
  }
  
  .draghandle {
    -cursor: move;
  }
  
  .out {
    width: 100% !important;
    height: 200px;
    xbackground-color: yellow;
  }
  
  .out-inner {
    xbackground-color:red;
    overflow: auto;
    height:100%;
    xmargin:6px;
    margin-left:6px;
    margin-top: 0px;
    xx-moz-box-sizing: margin-box;
  }
  
  .clear-button {
    float: right;
    margin: 3px;
  }