html {
    height: 100%;
    width: 100%;
    padding: 0;
    margin: 0;
}

body {
    background: black;
    height: 100%;
    width: 100%;
    padding: 0;
    margin: 0;
}

#header {
    width: 100%;
    height: 3.5rem;
    background: #700;
    margin: 0;
    padding: 0;
    display: flex;
}

#footer {
    width: 100%;
    height: 2.5rem;
    background: #700;
}

#content {
    display: flex;
    width: 100%;
    height: calc(100vh - 6rem);
}

h1 {
    color: white;
    margin: 0;
    padding: 0;
    padding-top: 10px;
    margin-left: 20px;
    font-family: Arial, Sans-serif;
    text-decoration: none;
    display: inline-block;
}

.col {
    background: white;
    resize: horizontal;
    overflow: auto;
    border: 1px solid;
    height: calc(100% - 10px);
    min-width: 12rem;
    margin: 5px;
}

#storecol {
    min-width: 15rem;
}

#store {
    width: calc(100% - 20px);
    margin: 10px;
}

#stackcol {
    display: flex;
}

#stack {
    align-self: flex-end;
    width: 100%;
    margin: 10px;
}

#interactcol {
    width: 100%;
}

#interact {
    height: calc(100% - 5rem);
    width: 100%;
}

#input_box {
    margin: 5px;
    width: calc(100% - 30px);
}

#code_input {
    padding: 8px;
    width: 100%;
    font-size: 120%;
    font-family: Courier new, monospace;
}

#interact_bottom {
    display: flex;
    height: 100%;
    width: 100%;
}

#code_box {
    width: 30%;
    border: 1px solid;
    margin: 6px;
    height: 100%;
}

#canvas_box {
    width: 70%;
    border: 1px solid;
    margin: 6px;
    height: 100%;
    cursor: crosshair;
    padding: 4px;
}

.var {
    display: flex;
    background: #700;
    border-radius: 25px;
    border: 1px solid;
    margin-top: 3px;
    margin-bottom: 3px;
    padding-left: 3px;
    padding-right: 6px;
}

.name {
    width: 40%;
    padding-top: 3px;
    padding-bottom: 3px;
    text-align: right;
    margin: 10px;
    font-family: Arial, sans-serif;
    font-weight: bold;
    color: white;
}

.var .item {
    width: 50%;
    margin-top: 3px;
    margin-bottom: 3px;
}

#stack .item {
    width: 90%;
    margin-top: 10px;
    margin-bottom: 10px;
}

.item {
    padding: 10px;
    background: ivory;
    color: black;
    border-radius: 25px;
    border: 1px solid;
    cursor: pointer;
}

.item:hover {
    background: #FDB;
    font-weight: bold;
}

#code_box .item {
    margin-left: 16px;
    margin-right: 16px;
    margin-top: 4px;
    margin-bottom: 4px;
}

.first {
    background: #FDB;
    border: 2px solid maroon;
}

.string {
    background: #FFE;
    font-family: Courier new, monospace;
}

.atomic {
    text-align: center;
}


#speed_switch {
    margin-top: 16px;
    margin-left: 144px;
    margin-bottom: 16px;
}

#speed_label {
    margin-top: 20px;
    margin-left: 8px;
    margin-bottom: 16px;
    color: white;
    font-family: Arial, sans-serif;
}

/* The switch - the box around the slider */
.switch {
  position: relative;
  display: inline-block;
  width: 48px;
  height: 24px;
}

/* Hide default HTML checkbox */
.switch input {
  opacity: 0;
  width: 0;
  height: 0;
}

/* The slider */
.slider {
  position: absolute;
  cursor: pointer;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background-color: #ccc;
  -webkit-transition: .4s;
  transition: .4s;
}

.slider:before {
  position: absolute;
  content: "";
  height: 16px;
  width: 16px;
  left: 4px;
  bottom: 4px;
  background-color: white;
  -webkit-transition: .4s;
  transition: .4s;
}

input:checked + .slider {
  background-color: #966;
}

input:focus + .slider {
  box-shadow: 0 0 1px #966;
}

input:checked + .slider:before {
  -webkit-transform: translateX(24px);
  -ms-transform: translateX(24px);
  transform: translateX(24px);
}

/* Rounded sliders */
.slider.round {
  border-radius: 24px;
}

.slider.round:before {
  border-radius: 50%;
}