html, body {
  width: 100%;
  height: 100%;
  margin: 0;
}

body {
  overflow: hidden;
}

h3 {
  font-family: Verdana;
  margin-top: 2px;
  margin-bottom: 4px;
  font-size: 14px;
}

.h3-same-row {
  float: left;
}

.whole-page {
  display: flex;
  flex-direction: column;
  height: 100%;
}

.top-row {
  display: flex;
  flex-direction: row;
}

.controls {
  display: flex;
  flex-direction: column;
  border: solid 1px black;
  padding: 3px;
}

.play-button {
}

.timer {
  font-family: Monaco;
  font-size: 10px;
}

.components {
}

.palette-component {
  padding: 3px;
  border: solid 1px black;
}

#drop_region {
  border: solid 1px black;
  background-color: #ccf;
  width: 100%;
  height: 100%;
  display: flex;
  flex-direction: column;
  padding: 3px;
}

#resources_contents {
  display: flex;
  flex: 1;
  height: 100%;
}

.main-content {
  display: flex;
  flex-grow: 1;
  flex-direction: row;
  width: 100%;
}

.left-col {
  display: flex;
  flex: 5;
}

.middle-col {
  flex: 3;
  background-color: #eee;
  border: solid 1px black;
  padding: 3px;
}

.bottom-row {
  display: flex;
  flex: 1;
}

#editor {
  width: 100%;
  white-space: pre;
  overflow-wrap: normal;
  overflow: scroll;
  border: solid 1px black;
}

.display {
}

#main-display {
  border: solid 1px black;
}

.message-container {
  border: solid 1px black;
}

#messages {
  background-color: #ddd;
  width: 100%;
  height: 120px;
  font-size: 12px;
  font-family: Monaco;
  padding: 3px;
}

.drop_message {
  margin: auto;
  font-size: 12px;
  font-family: Monaco;
}

#docs {
  font-size: 12px;
  font-family: Monaco;
}

#clear_btn {
  margin-left: 6px;
}