:root {
  --script-color: rgb(0, 128, 0);
  --script-font-family: 'monaco', 'lucida sans', monospace;

  --color-
}

body {
  font-family: Lato;
}

h1 {
  font-weight: 900;
}

h2 {
  font-weight: 400;
}

.TheApp .debug-info {
  font-family: monaco;
  font-size: 10px;
  color: lightgray;
}

.TheApp .button-bar {
  font-family: helvetica;
  font-size: 12px;
  padding-bottom: 5px;
}
.TheApp .button-bar button {
  border: none;
  border-radius: 100px;
  background-color: #ca846f;
  color: white;
  padding: 1px 12px;
}

.TheApp .hack-panel textarea {
  border: 1px solid lightgray;
  width:  95%;
  font-family: var(--script-font-family);
  font-size: 12px;
  line-height: 1.6;
  padding-left: 5px;
  color: silver;
  border: none;
  background-color: #F8F8F8;
}
.TheApp .hack-panel textarea:focus {
  color: var(--script-color);
}

.Arena {
  position: relative;
  box-sizing: border-box;
}

.Arena svg {
  background-color: #d2eeea;
  border-color: none;
}

.UserConsole {
  position: absolute;   /* under .Arena */
  box-sizing: border-box;
  top: 0;
  font-family: var(--script-font-family);
  font-size: 12px;
  color: var(--script-color);
  opacity: 0.5;
  width: 100%;
  height: 100%;
  padding: 15px;
}