@import "https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@300;400;500;600;700&display=swap";

.enso.docs {
  font-family: Causten, DejaVuSansMonoBook, sans-serif;
  .root {
    display: flex;
    margin-top: 4rem;
  }
  .main {
    max-width: 650px;
    min-width: 0;
    margin-top: -20px;
  }
  .doc-code-container {
    font-family: Source Code Pro, monospace;
    font-size: 14px;
    background-color: #e7ebef;
    border-radius: 12px;
    padding: 1px 5px 2px;
    box-decoration-break: clone;
    margin-top: 10px;
    -webkit-box-decoration-break: clone;
  }
  code {
    font-family: Source Code Pro, monospace;
    font-size: 14px;
    padding: 1px 0px 2px;
    margin-top: 10px;
    color: #4EA5FD;
    -webkit-box-decoration-break: clone;
  }
  .doc-copy-btn {
    margin-top: 1rem;
    background-color: rgb(72 118 212);
    border-radius: 12px;
    font-weight: 600;
    font-size: 15px;
    line-height: 2;
    padding: 0.25rem 1rem;
    color: rgba(255, 255, 255, 1);
    vertical-align: text-top;
  }
  .tags {
    display: flex;
    font-size: 13px;
  }
  .tag {
    align-self: flex-end;
    margin-bottom: 10px;
  }
  ul {
    list-style-type: disc;
    margin-top: 0.75rem;
    margin-bottom: 0.75rem;
    padding-left: 1.25rem;
  }
  .toc-body {
    position: -webkit-sticky;
    position: sticky;
    top: 4rem;
  }
  .toc {
    display: none;
    width: 250px;
  }
}

.light-theme {
  .enso.docs {
    font-weight: 400;
    font-size: 16px;
    line-height: 1.4;
    color: rgba(75, 88, 100, 1);
    .doc-title-container {
      display: flex;
      .doc-title-name {
        font-weight: 600;
        padding: 4px 10px 0 0;
        font-size: 20px;
      }
    }
    .content {
      font-weight: 500;
      font-size: 16px;
      line-height: 1.4;
      color: rgba(75, 88, 100, 1);
    }
    p {
      margin-top: 0.5rem;
    }
    .summary {
      font-weight: 500;
      font-size: 16px;
      line-height: 1.4;
      color: rgba(75, 88, 100, 1);
    }
    h1 {
      display: flex;
      font-weight: 700;
      font-size: 40px;
      line-height: 1.25;
      color: rgb(42 57 74);
      .tag {
        font-size: 16px;
        line-height: 1.4;
      }
    }
    h2 {
      font-weight: 700;
      font-size: 40px;
      line-height: 1.375;
      margin-top: 4rem;
      color: rgb(42 57 74);
    }
    h3 {
      color: rgb(42 57 74);
      font-weight: 600;
      font-size: 22px;
      line-height: 1.25;
    }
    .tag {
      .added,
      .advanced,
      .deprecated,
      .modified,
      .private,
      .textonly,
      .unstable,
      .upcoming,
      .alias,
      .version {
        margin-left: 0;
        display: inline-table;
        border-radius: 16px;
        padding: 4px 10px;
        line-height: 1.35;
        box-decoration-break: clone;
        -webkit-box-decoration-break: clone;
        background-color: #E7E9EB;
      }
      .details {
        font-weight: 700;
      }
    }
    .important,
    .info,
    .example {
      background-color: #E7E9EB;
      border-radius: 12px;
      padding: 15px;
      .summary{
        font-weight: 500;
        font-size: 20px;
        line-height: 1.4;
        margin-bottom: 0.5rem;
        color: #4b5864;
      }
    }
  }
}

@media (min-width: 768px) {
  .light-theme {
    .enso.docs {
      h1 {
        font-size: 48px;
        line-height: 1.25;
      }
    }
  }
  .enso.docs {
    .toc {
      display: block;
    }
  }
}
