body {
  background-color: #A0A0A0;
  margin: 0px;
  font-family: Arial,Helvetica,sans-serif;
  font-size: 10pt;
}

#main_container {
  background-color: #FFFFFF;
  margin: auto;
  overflow: hidden;

  padding-top: 20px;
  padding-bottom: 10px;
}

#title {
  font-size: 24pt;
  text-align: center;
  color: #2860DE;
  margin: 0;
}

.main {
  overflow: hidden;
  padding: 5px;
}

hr {
  border: #EEEEEE 2px solid;
  margin-top: 20px;
  margin-bottom: 20px;
}

.justify > * {
  float: left;
  width: 125px;
}

.justify > *:last-child {
  float: none;
  width: auto;
}

#main_fieldset {
  min-width: 500px;
}

#system_state {
  padding: 5px;
  /* border: 1px black dashed; */
  font-family: monospace;
  /* word-spacing: 5px; */
  white-space: pre-wrap;
}

.warnings {
  display: none;
  margin: 10px;
  color: red;
}

.messages {
  display: none;
  margin: 10px;

  white-space: pre-wrap;
  font-family: monospace;

  max-height: 100px;
  overflow-y: auto; /* show scrollbar when needed */
}

#litmus_test {
  overflow: auto;
  padding: 15px;
  box-shadow: 3px 3px 15px #555555;
  border: 1px black none;
  border-radius: 10px;
  max-width: 90%;
  font-family:"Courier New",Courier,monospace;
}

#frontpage input {
  width: 140px;
  margin-right: 40px;
}

#frontpage input[type=file] {
  width: 170px;
}

#frontpage input:last-child {
  margin-right: auto
}

#interact_page input[type=button] {
  width: 100px;
  margin-right: 80px;
}

#interact_page input:last-child {
  margin-right: auto
}

.trans {
  text-decoration: underline;
}

.trans:hover {
  cursor: pointer;
}

.flowingstorage {
  font-family: monospace;
  word-spacing: 0px;
}

.window_container {
  /* cover the whole screen */
  position: fixed;
  top: 0;
  left: 0;
  bottom: 0;
  right: 0;

  background-color: rgba(0, 0, 0, 0.65);
}

.window {
  /* center the window */
  position: absolute;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);

  width:375px;
  padding: 10px;

  background-color:#ffffff;
  border-radius: 10px;
}

.window hr {
  border: none;
}

#options input[type='number'] {
  width: 40px;
  margin-left: 5px;
}

.window h1 {
  font-size: 1em;
  text-align: center;
  margin-top: 1.5em;
  margin-bottom: 0;
  border-bottom: #BBBBBB 1px solid;
}

.window h1:first-child {
  margin-top: 0;
}

.window h2 {
  font-size: 1em;
  font-weight: normal;
  margin-bottom: 0;
}

.window input[type=button] {
  width: 100px;
  margin-right: 50px;
}

.window input[type=button]:last-child {
  margin-right: auto
}

#clear_elf {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
}

#clear_elf_button {
  /* center the button */
  position: absolute;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
}