body {
  font-family: system-ui, BlinkMacSystemFont, -apple-system, Segoe UI, Roboto,
    Oxygen, Ubuntu, Cantarell, Fira Sans, Droid Sans, Helvetica Neue, sans-serif;
  color: rgba(0, 0, 0, 0.84);
  line-height: 1.5;
}

a {
  color: #1e87f0;
  text-decoration: none;
  border-bottom: 1px solid transparent;
}

div.announcement {
  display: block;
  padding: 1rem;
  font-weight: bold;
  border-width: 0;
  border-style: solid;
  border-color: currentColor;
  text-align: center;
  background: #ffe0b2;
  color: #e65100;
}

div.announcement a {
  color: inherit;
  text-decoration: underline;
}

div.announcement a:hover {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

h1 {
  margin: 0;
  font-size: 4rem;
  font-weight: 300;
  letter-spacing: 0.05em;
}

@media (max-width: 768px) {
  h1 {
    font-size: 2rem;
  }
}

h2 {
  margin-top: 6rem;
  margin-bottom: 1.5rem;
  font-size: 2rem;
  font-weight: normal;
}

header {
  position: sticky;
  top: 0;
  background: #ffffff;
  z-index: 999;
}

nav {
  margin: 0;
  overflow-x: auto;
  text-align: center;
  border-width: 0 0 1px 0;
  border-color: #e4e4e4;
  border-style: solid;
}

nav ul {
  display: flex;
  margin: 0;
  padding: 0;
  list-style: none;
}

nav li:first-of-type {
  flex-grow: 1;
  text-align: left;
}

nav li:first-of-type a {
  padding-left: 0;
}

nav li:last-of-type a {
  padding-right: 0;
}

nav li a {
  display: block;
  padding: 1.5rem;
  color: inherit;
  white-space: nowrap;
}

.hljs {
  padding: 1rem;
}

td:first-child {
  width: 8rem;
}

.container {
  max-width: 60rem;
  margin: auto;
  padding: 0 1rem;
}

.hero {
  padding: 6rem 0;
  text-align: center;
}

.sponsors {
  margin-bottom: 2rem;
  padding: 6rem 0;
  border-width: 1px 0;
  border-style: solid;
  border-color: #e4e4e4;
  text-align: center;
}

.sponsors h3 {
  font-size: 1.5rem;
  font-weight: normal;
  margin-top: 0;
  margin-bottom: 2rem;
}

.box {
  display: flex;
  justify-content: center;
  align-items: center;
  width: 20rem;
  margin: auto;
  border-radius: 0.2rem;
  border: 1px dashed currentColor;
}

.box a {
  display: inline-block;
  padding: 4rem;
  color: inherit;
}

.sponsors p {
  margin-top: 2rem;
  margin-bottom: 0;
}

main {
  margin-bottom: 6rem;
}

#run-button {
  padding: 0.5rem 1rem;
  margin-right: 1rem;
  border-width: 0;
  border-radius: 0.25rem;
  background-color: #1e87f0;
  color: white;
  cursor: pointer;
  transition: all 0.25s;
}

#run-message {
  opacity: 0;
  transition: all 0.25s;
}

pre {
  /* hack */
  background: #f8f8f8;
}

code {
  padding: 2rem !important;
}

ul {
  list-style: none;
}

#result {
  margin: 1.5rem 0 0;
  height: 176px;
  opacity: 0;
  transition: all 0.25s;
}

footer {
  padding: 6rem;
  background-color: #f8fafc;
  text-align: center;
}