@font-face {
  font-family: 'JetBrains Mono';
  src: url('/fonts/JetBrainsMono-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'JetBrains Mono';
  src: url('/fonts/JetBrainsMono-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

body, html {
  height: 100%;
  overflow: hidden;
}

body {
  background-color: #2c2c2c;
  font-family: 'JetBrains Mono', ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  margin: 0;
}

.terminal {
  height: 100%;
  padding: 24px;
}

#terminal {
  height: 100%;
}


:root {
  --brand-bg-color: #2c2c2c;
  --brand-txt-color: #fff;
  --brand-link-color: #fff;
}

/* Small-screen / touch notice shown by the homepage when JS detects a
   keyboard-less device. See index.astro. */
.mobile-notice {
  position: fixed;
  inset: 0;
  z-index: 50;
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 1.5rem;
  background-color: var(--brand-bg-color);
  color: var(--brand-txt-color);
  font-family: 'JetBrains Mono', ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas,
    "Liberation Mono", "Courier New", monospace;
}
/* Author CSS would override the UA `hidden` default, so restate it. */
.mobile-notice[hidden] {
  display: none;
}
.mobile-notice__card {
  width: min(100%, 26rem);
  max-width: 26rem;
  text-align: center;
}
.mobile-notice__title {
  font-size: 1.5rem;
  font-weight: 700;
  letter-spacing: -0.02em;
}
.mobile-notice__role {
  margin: 0.25rem 0 1.25rem;
  color: #9ca3af;
}
.mobile-notice__msg {
  margin: 0 0 1.5rem;
  line-height: 1.6;
  color: #d1d5db;
}
.mobile-notice__btn {
  display: block;
  box-sizing: border-box;
  width: 100%;
  margin: 0.5rem 0;
  padding: 0.65rem 1rem;
  border: 1px solid #4b5563;
  border-radius: 0.5rem;
  background: transparent;
  color: var(--brand-txt-color);
  font: inherit;
  text-decoration: none;
  cursor: pointer;
}
.mobile-notice__btn--primary {
  background: var(--brand-txt-color);
  color: var(--brand-bg-color);
  border-color: var(--brand-txt-color);
  font-weight: 600;
}