@media all {
  html {
    font-size: 40px;
  }
}

html {
  background-color: #ffffff;
}

.slide {
  width: 30rem;
  margin-bottom: 0rem;
  margin-top: 0rem;
  margin-left: auto;
  margin-right: auto;
  padding-bottom: 2rem;
}

.wideslide {
  margin-bottom: 0rem;
  margin-top: 0rem;
  margin-left: auto;
  margin-right: auto;
  padding-bottom: 2rem;
}

.editor {
  font-size: 0.6rem;
  display: block;
  white-space: pre;
  font-family: monospace;
  margin-bottom: 0.7rem;
  margin-top: 0.7rem;
  margin-left: 0.5rem;
  margin-right: 2rem;
  border-style: solid;
  border-color: lightgrey;
  border-width: 1px;
}

.full {
  height: 90vh;
}

.twothirds {
  height: 60vh;
}
.third {
  height: 30vh;
}

.CodeMirror {
  border: 1px solid #0e0e0e;
  height: 100%;
}

a {
  cursor: pointer;
}

.code {
  font-size: 0.6rem;
  font-family: monospace;
  white-space: pre;
  background-color: #f5f5f5;
  border-style: dotted;
}

button {
  box-sizing: border-box;
  font-size: 1rem;
  padding-left: 0.4rem;
  padding-right: 0.4rem;
}

.nav {
  padding-bottom: 1rem;
}


.hidden {
  visibility: hidden;
}

h1 {
  font-size: 2rem;
  margin-top: 0.5rem;
  margin-bottom: 0.5rem;
}

p {
  margin-top: 0.2;
  margin-bottom: 0.8rem;
}

.time {
  position: fixed;
  font-family: monospace;
  top: 0.5rem;
  right: 0.5rem;
}

.command-square {
  height: 2rem;
  width: 2rem;
}

.row {
  display: flex;
  flex-direction: row;
  gap: 2rem;
}

.green {
  color: green;
}

table {
  border-spacing: 1rem;
}