body {
  font-family: Georgia, 'Times New Roman', Times, serif;
  font-size: 16px;
  margin: 0;
  background-color: #fdfdfd; }

h1, h2, h3, h4, h5 {
  font-family: Helvetica, Arial, sans-serif;
  color: rgba(0, 0, 0, 0.75); }

p {
  font-size: 120%;
  line-height: 1.5;
  margin: 16px 0;
  color: rgba(0, 0, 0, 0.75); }

@media (max-width: 700px) {
  p {
    line-height: 1.4; } }

@media (max-width: 600px) {
  p {
    line-height: 1.3; } }

@media (max-width: 480px) {
  p {
    line-height: 1.25; } }

.index.thank-you .wrapper {
  background-image: none;
  background: #fdfdfd; }

.index.thank-you main {
  background: none;
  padding-top: 0; }

.index.thank-you a {
  color: #80ced7;
  text-decoration: none;
  font-size: 150%; }

.index.thank-you a.inline {
  font-size: 100%; }

.index.thank-you .what-happens {
  padding-bottom: 1rem; }

.index {
  padding: 0 64px;
  display: flex;
  flex-direction: column;
  align-items: center;
  box-sizing: border-box;
  background-color: #F0F0EE;
  background-image: url(town.svg), url(town.svg), url(town.svg), url(town.svg), url(town.svg), url(town.svg), url(town.svg);
  background-repeat: repeat-x;
  background-position-x: 0, 220px, 400px, 650px, 850px, 1050px, 1250px;
  background-position-y: 0, 680px, 1360px, 2040px, 2720px, 3400px, 4080px;
  background-size: 850px; }
  .index h1, .index h2 {
    padding: 0;
    margin: 0;
    white-space: nowrap; }
  .index h1 {
    margin: 16px 0 8px 16px;
    font-family: 'Roboto Slab', serif;
    font-size: 4.5vw; }
  .index h2 {
    font-size: 3.75vw;
    font-family: 'Comic Sans MS', 'Comic Sans', cursive; }
    .index h2 img {
      width: 70%;
      height: 100%; }
  .index h2, .index h3 {
    margin-left: 16px;
    color: #5C7AFF; }
  .index h3 {
    font-size: 2.5vw;
    font-family: 'Roboto Slab', serif; }
  .index .wrapper {
    padding: 0;
    box-sizing: border-box;
    width: 100%;
    max-width: 1000px;
    margin-top: 10vh;
    border: 4px solid #3c3c3c;
    border-radius: 12px;
    background-image: url(circle.svg);
    background-repeat: no-repeat;
    background-position-x: -50%;
    background-position-y: -10px;
    background-size: 150%;
    background-color: #fdfdfd;
    background-color: #b3d1cf;
    margin-bottom: 40vh; }
  .index header {
    display: flex;
    justify-content: space-between;
    padding: 1rem 0;
    border-bottom: 1px solid rgba(0, 0, 0, 0.75); }
  .index .hero {
    position: relative;
    margin-top: 15%;
    left: -4%;
    width: 50%;
    height: 100%; }
  .index .text {
    display: flex;
    flex-direction: column;
    align-items: flex-start; }
  .index .read {
    margin-top: 15%;
    flex-basis: 0;
    margin-left: 16px;
    text-decoration: none;
    background-color: #C33C54;
    color: #FFE3DC;
    font-family: 'Roboto Slab', serif;
    font-size: 2.3vw;
    padding: 1.2vw;
    border-radius: 0.5vw;
    font-weight: 700; }
  .index main {
    background: #fdfdfd;
    padding: 0;
    padding-top: 0.5rem;
    border-bottom-left-radius: 12px;
    border-bottom-right-radius: 12px; }
  .index .text-wrapper {
    padding: 0 1rem; }
  .index .what-happens p {
    font-family: 'Roboto Slab', serif;
    font-style: italic;
    font-size: 150%; }
  .index .motivation {
    padding-bottom: 1px; }
    .index .motivation dl {
      margin: 0;
      border-top: 1px solid #c8c8c8;
      border-bottom: 1px solid #c8c8c8;
      padding: 0;
      padding-top: 1rem;
      background-color: rgba(245, 245, 245, 0.87); }
    .index .motivation dt {
      font-family: 'Roboto Slab', serif;
      font-weight: 700;
      font-size: 120%;
      padding: 0 1rem 1rem 1rem;
      margin: 0;
      color: rgba(0, 0, 0, 0.75); }
    .index .motivation dd {
      margin-inline-start: 0;
      padding: 1px 1rem;
      margin: 0; }
      .index .motivation dd p {
        margin: 0;
        margin-bottom: 1rem;
        padding: 0; }
  .index .products h4 {
    font-family: 'Roboto Slab', serif;
    font-size: 150%;
    color: #5C7AFF;
    margin: 0; }
  .index .products ul {
    margin: 0;
    padding: 0; }
  .index .products li {
    margin: 1.5rem 1rem;
    padding: 1rem;
    border-radius: 8px;
    list-style: none;
    background-color: rgba(138, 185, 181, 0.9); }
    .index .products li p {
      font-size: 120%;
      color: rgba(0, 0, 0, 0.75); }
    .index .products li a {
      margin-top: .5rem;
      color: #FFE3DC;
      background-color: #C33C54;
      padding: 0.5rem;
      display: inline-block;
      border-radius: 6px;
      font-family: 'Roboto Slab', serif;
      font-weight: 700;
      text-decoration: none; }
  .index .signup {
    padding-bottom: 1px;
    border-bottom-left-radius: 12px;
    border-bottom-left-radius: 12px; }
    .index .signup h4 {
      font-family: 'Roboto Slab', serif;
      font-size: 150%;
      color: #5C7AFF;
      margin: 0; }
    .index .signup .signup-wrapper {
      margin: 1.5rem 1rem;
      padding: 1rem;
      border-radius: 8px;
      list-style: none;
      background-color: rgba(138, 185, 181, 0.9); }
      .index .signup .signup-wrapper form {
        max-width: none;
        margin-top: 1.5rem; }
        .index .signup .signup-wrapper form div {
          padding: 0 !important; }
      .index .signup .signup-wrapper a {
        color: #5C7AFF;
        font-weight: 700;
        text-decoration: none; }
      .index .signup .signup-wrapper a.contact-email {
        overflow-wrap: break-word; }
      .index .signup .signup-wrapper p {
        font-size: 120%;
        color: rgba(0, 0, 0, 0.75); }
      .index .signup .signup-wrapper label {
        font-weight: 500;
        display: block;
        margin-bottom: 8px;
        font-size: 120%; }
      .index .signup .signup-wrapper .input-wrapper {
        display: flex;
        flex-direction: row;
        align-items: center;
        flex-wrap: wrap; }
        .index .signup .signup-wrapper .input-wrapper .email {
          line-height: 2rem;
          flex: 1 1 0;
          margin-right: 2rem;
          font-size: 120%;
          margin-bottom: 1rem; }
      .index .signup .signup-wrapper .signup-button {
        cursor: pointer;
        margin-bottom: 1rem;
        line-height: 2rem;
        flex: 0 1 0;
        outline: none;
        border: none;
        color: #FFE3DC;
        background-color: #C33C54;
        padding: 0 1rem;
        display: inline-block;
        border-radius: 6px;
        font-family: 'Roboto Slab', serif;
        font-weight: 700;
        text-decoration: none;
        font-size: 120%; }
      .index .signup .signup-wrapper .signup-button:hover {
        background-color: #dd3352; }
      .index .signup .signup-wrapper button {
        cursor: pointer;
        font-family: 'Roboto Slab', serif;
        font-weight: 700; }
  @media (min-width: 1200px) {
    .index h1 {
      font-size: 54px; }
    .index h2 {
      font-size: 45px; }
    .index h3 {
      font-size: 30px; }
    .index .read {
      font-size: 26px;
      padding: 12px; }
    .index .hero {
      left: -6%; } }
  @media (max-width: 1000px) {
    .index .hero {
      left: -6%; } }
  @media (max-width: 820px) {
    .index .wrapper {
      background-position-x: -70%;
      background-position-y: -10px;
      background-size: 140%; }
    .index .hero {
      left: -9%; } }
  @media (max-width: 680px) {
    .index {
      padding: 0;
      min-height: 2500px; }
      .index .wrapper {
        background-image: none;
        background-color: transparent;
        border: none;
        border-radius: 0;
        margin-top: 0;
        padding: 0; }
        .index .wrapper main {
          padding: 0;
          background: none; }
          .index .wrapper main .text-wrapper {
            padding: 0 16px;
            background-color: #fdfdfd;
            overflow: auto;
            border-bottom: 1px solid rgba(0, 0, 0, 0.75); }
      .index .text {
        position: relative;
        z-index: 2;
        width: 100%; }
        .index .text h1 {
          font-size: 9vw;
          width: 100%;
          padding: 0; }
        .index .text h2 {
          font-size: 8vw;
          flex-basis: 0; }
        .index .text h3 {
          font-size: 4vw; }
      .index .read {
        font-size: 3.5vw;
        margin-top: 12%; }
      .index .hero {
        left: -45%;
        margin-top: 35%;
        z-index: 1; }
      .index header {
        padding-bottom: 16px;
        background-color: #8AB9B5; }
      .index .products h4 {
        font-family: 'Roboto Slab', serif;
        font-size: 150%;
        color: #5C7AFF;
        margin: 0; }
      .index .products ul {
        margin: 0;
        padding: 0; }
      .index .products li {
        margin: 1.5rem 1rem;
        padding: 1rem;
        border-radius: 8px;
        list-style: none;
        background-color: rgba(138, 185, 181, 0.9); }
        .index .products li p {
          font-size: 120%;
          color: rgba(0, 0, 0, 0.75); }
        .index .products li a {
          margin-top: .5rem;
          color: #FFE3DC;
          background-color: #C33C54;
          padding: 0.5rem;
          display: inline-block;
          border-radius: 6px;
          font-family: 'Roboto Slab', serif;
          font-weight: 700;
          text-decoration: none; }
      .index .motivation dl {
        border-radius: 0;
        border-bottom: 1px solid rgba(0, 0, 0, 0.5); } }
.chapter {
  display: flex;
  flex-direction: column;
  align-items: center;
  background-color: #FFFFFF; }
  .chapter pre {
    white-space: break-spaces;
    font-size: 130%; }
  .chapter code {
    margin: 2rem 0;
    display: block; }
  .chapter img {
    display: block;
    max-width: 100%;
    padding: 16px 0; }
  .chapter nav {
    display: flex;
    width: 100%;
    justify-content: space-between;
    align-items: center;
    background-color: #3c3c3c;
    background-color: #3c3c3c;
    background-color: #003554;
    margin-bottom: 24px; }
    .chapter nav h1 {
      text-align: center;
      font-size: 120%;
      color: white;
      display: flex;
      flex-direction: column; }
    .chapter nav h1 a span {
      white-space: nowrap; }
    .chapter nav a {
      text-decoration: none;
      color: #8AB9B5; }
    .chapter nav a.toc-link {
      color: #C33C54;
      margin-top: 0.25rem; }
    .chapter nav .arrow {
      font-size: 200%;
      padding: 0 24px; }
    .chapter nav .arrow:first-child {
      -webkit-transform: scaleX(-1);
      transform: scaleX(-1); }
    .chapter nav .disabled {
      color: rgba(255, 255, 255, 0.3); }
    @media (max-width: 480px) {
      .chapter nav h1 {
        font-size: 100%;
        text-align: left;
        flex-basis: 0; }
      .chapter nav .arrow {
        font-size: 150%; } }
    @media (max-width: 380px) {
      .chapter nav h1 {
        font-size: 60%; }
      .chapter nav .arrow {
        font-size: 100%; } }
  .chapter main {
    max-width: 800px;
    padding: 0 16px; }
  .chapter h2 {
    margin: 16px 0;
    font-size: 200%;
    display: flex;
    justify-content: space-between; }
  .chapter h2 span:nth-child(2) {
    color: #80ced7;
    white-space: nowrap;
    padding-left: 8px; }
  .chapter h3 {
    margin-top: 32px;
    margin-bottom: 16px; }
  @media (max-width: 700px) {
    .chapter h2 {
      font-size: 150%; } }
  @media (max-width: 480px) {
    .chapter pre {
      font-size: 120%; } }
  @media (max-width: 400px) {
    .chapter pre {
      font-size: 110%; } }
  @media (max-width: 360px) {
    .chapter pre {
      font-size: 100%; } }
  @media (max-width: 320px) {
    .chapter pre {
      font-size: 90%; } }
  .chapter li {
    font-size: 120%; }
  .chapter li img {
    padding: 8px 0; }
  .chapter .next-chapter {
    text-align: left;
    max-width: 800px;
    margin-top: 2rem;
    margin-bottom: 4rem; }
    .chapter .next-chapter a {
      color: #80ced7;
      text-decoration: none;
      font-size: 150%; }

.chapter.toc {
  min-height: calc(100vh - 4rem); }
  .chapter.toc h2 {
    font-size: 150%;
    display: block;
    margin: 0;
    margin-bottom: 1.5rem;
    margin-top: 2.5rem; }
    .chapter.toc h2 span {
      display: inline-block;
      width: 42px; }
  .chapter.toc h3 {
    display: flex;
    justify-content: space-between;
    padding-left: 42px;
    margin: 0;
    margin-bottom: 2rem; }
    .chapter.toc h3 span.num {
      display: inline-block;
      flex: 32px 0 0; }
    .chapter.toc h3 a {
      color: #8AB9B5;
      text-decoration: none;
      flex-grow: 1; }
      .chapter.toc h3 a span {
        font-weight: 400;
        font-size: 90%;
        display: block; }
  .chapter.toc .not-yet {
    opacity: 0.3; }

footer {
  background-color: #003554;
  display: flex;
  justify-content: center;
  align-items: center;
  font-family: 'Roboto Slab', serif;
  font-weight: 400;
  font-size: 120%;
  height: 4rem;
  padding: 0;
  color: #8AB9B5;
  opacity: 0.9;
  width: 100%; }

.terminal {
  margin: 32px 16px;
  background-color: #111;
  padding: 10px 16px;
  color: #f7f7f7;
  font-size: 100%;
  border-radius: 4px;
  font-family: monospace;
  overflow-x: auto; }
  @media (max-width: 440px) {
    .terminal {
      max-width: 320px;
      margin: auto; } }
  @media (max-width: 360px) {
    .terminal {
      max-width: 280px;
      margin: auto; } }
  @media (max-width: 320px) {
    .terminal {
      font-size: 90%;
      max-width: 240px;
      margin: auto; } }
  .terminal p {
    color: #f7f7f7;
    margin: 0;
    font-size: 100%;
    margin: 4px 0;
    font-family: monospace;
    font-weight: 600;
    letter-spacing: 1px; }
  .terminal p.prompt::before {
    content: "(ALICES_COMPUTER) \\ "; }
  .terminal p.prompt {
    position: relative;
    left: -2px;
    white-space: pre; }

.protocol {
  font-family: monospace;
  font-size: 140%;
  margin: 2rem 2rem; }
  .protocol td:first-child {
    opacity: 0.5;
    padding-right: 12px;
    text-align: right;
    font-size: 75%; }
  .protocol p {
    padding: 4px;
    margin: 0;
    line-height: 1;
    color: black;
    border-radius: 6px;
    margin-bottom: 2px; }
    .protocol p span {
      padding-left: 79px; }
  .protocol p span {
    opacity: 0.6; }

.left-right {
  font-family: monospace;
  font-size: 140%;
  margin: 4rem 2rem;
  display: flex;
  flex-direction: column; }
  .left-right .alice {
    align-self: flex-start;
    width: 70%; }
  .left-right .bob {
    align-self: flex-end;
    width: 70%;
    text-align: right; }
  .left-right div {
    display: flex;
    flex-direction: row;
    justify-content: space-between; }
    .left-right div p {
      font-weight: 600; }
  @media (max-width: 400px) {
    .left-right {
      margin-top: 2rem; }
      .left-right .alice-bob-headers {
        display: none; }
      .left-right .alice, .left-right .bob {
        align-self: flex-start;
        text-align: left; }
      .left-right .alice::before {
        content: "Alice ";
        display: block;
        font-weight: 600; }
      .left-right .bob::before {
        content: "Bob ";
        display: block;
        font-weight: 600; } }