/* main
   ---- */
pre { 
  padding: 0px;
  line-height: 0px;
  font-size: 11pt;
  margin-bottom: 0.5em;
  margin-top: 0.5em;
}

table {
  border-spacing: 0;
}

table.vars th {
  border: 1px solid slategray;
  font-size: 11pt;
}
table.vars td {
  border: 1px solid slategray;
  font-size: 11pt;
}

div.list-pane {
  float: left; 
  width: 60%;
}

div.vars-pnae {
}

div#button-panel {
  float: left;
  width: 40%;
  height: 40px
}

div#speed-panel {
  float: left;
  width: 50%; 
  height: 40px
}

div#lists {
  overflow: scroll;
  height: 480px;
}

div#vars {
  overflow: scroll;
  height: 520px;
}

div#output {
  overflow: scroll;
  height: 120px;
}