@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 300;
  font-display: swap;
  src: url(https://fonts.gstatic.com/s/sourcecodepro/v14/HI_XiYsKILxRpg3hIP6sJ7fM7PqtlsnztA.ttf) format('truetype');
}
@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(https://fonts.gstatic.com/s/sourcecodepro/v14/HI_SiYsKILxRpg3hIP6sJ7fM7PqVOg.ttf) format('truetype');
}
@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(https://fonts.gstatic.com/s/sourcecodepro/v14/HI_XiYsKILxRpg3hIP6sJ7fM7PqtzsjztA.ttf) format('truetype');
}
@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url(https://fonts.gstatic.com/s/sourcecodepro/v14/HI_XiYsKILxRpg3hIP6sJ7fM7Pqt4s_ztA.ttf) format('truetype');
}
@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url(https://fonts.gstatic.com/s/sourcecodepro/v14/HI_XiYsKILxRpg3hIP6sJ7fM7Pqths7ztA.ttf) format('truetype');
}
.enso.docs {
  font-family: Causten, DejaVuSansMonoBook, sans-serif;
}
.enso.docs .root {
  display: flex;
  margin-top: 4rem;
}
.enso.docs .main {
  max-width: 650px;
  min-width: 0;
  margin-top: -20px;
}
.enso.docs .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;
}
.enso.docs code {
  font-family: Source Code Pro, monospace;
  font-size: 14px;
  padding: 1px 0px 2px;
  margin-top: 10px;
  color: #4EA5FD;
  -webkit-box-decoration-break: clone;
}
.enso.docs .doc-copy-btn {
  margin-top: 1rem;
  background-color: #4876d4;
  border-radius: 12px;
  font-weight: 600;
  font-size: 15px;
  line-height: 2;
  padding: 0.25rem 1rem;
  color: #ffffff;
  vertical-align: text-top;
}
.enso.docs .tags {
  display: flex;
  font-size: 13px;
}
.enso.docs .tag {
  align-self: flex-end;
  margin-bottom: 10px;
}
.enso.docs ul {
  list-style-type: disc;
  margin-top: 0.75rem;
  margin-bottom: 0.75rem;
  padding-left: 1.25rem;
}
.enso.docs .toc-body {
  position: -webkit-sticky;
  position: sticky;
  top: 4rem;
}
.enso.docs .toc {
  display: none;
  width: 250px;
}
.light-theme .enso.docs {
  font-weight: 400;
  font-size: 16px;
  line-height: 1.4;
  color: #4b5864;
}
.light-theme .enso.docs .doc-title-container .doc-title-name {
  font-weight: 600;
  padding: 4px 10px 0 0;
  font-size: 20px;
}
.light-theme .enso.docs .content {
  font-weight: 500;
  font-size: 16px;
  line-height: 1.4;
  color: #4b5864;
}
.light-theme .enso.docs p {
  margin-top: 0.5rem;
}
.light-theme .enso.docs .summary {
  font-weight: 500;
  font-size: 16px;
  line-height: 1.4;
  color: #4b5864;
}
.light-theme .enso.docs h1 {
  display: flex;
  font-weight: 700;
  font-size: 40px;
  line-height: 1.25;
  color: #2a394a;
}
.light-theme .enso.docs h1 .tag {
  font-size: 16px;
  line-height: 1.4;
}
.light-theme .enso.docs h2 {
  font-weight: 700;
  font-size: 40px;
  line-height: 1.375;
  margin-top: 4rem;
  color: #2a394a;
}
.light-theme .enso.docs h3 {
  color: #2a394a;
  font-weight: 600;
  font-size: 22px;
  line-height: 1.25;
}
.light-theme .enso.docs .tag .added,
.light-theme .enso.docs .tag .advanced,
.light-theme .enso.docs .tag .deprecated,
.light-theme .enso.docs .tag .modified,
.light-theme .enso.docs .tag .private,
.light-theme .enso.docs .tag .textonly,
.light-theme .enso.docs .tag .unstable,
.light-theme .enso.docs .tag .upcoming,
.light-theme .enso.docs .tag .alias,
.light-theme .enso.docs .tag .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;
}
.light-theme .enso.docs .tag .details {
  font-weight: 700;
}
.light-theme .enso.docs .important,
.light-theme .enso.docs .info,
.light-theme .enso.docs .example {
  background-color: #E7E9EB;
  border-radius: 12px;
  padding: 15px;
}
.light-theme .enso.docs .important .summary,
.light-theme .enso.docs .info .summary,
.light-theme .enso.docs .example .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;
  }
}
