<commit_before>/* ------------------------------------
 * Main layout
 * ------------------------------------ */

main {
    /* Colors */
    --docs-h1-underline-color: var(--color-blue);
    --docs-h2-color: #384861;
    --docs-h3-color: #5d6c86;
    --docs-rule-color: #d1d1d1;
    --docs-table-header-background: #e4e4e4;
    --docs-table-header-color: rgb(73, 73, 73);
    --docs-link-color: #005cc5;
    --docs-nav-color: #242424;
    --playground-code-background: #fafafa;
    --code-border: 1px solid #ddd;

  /* IMPORTANT: If any of the following variables change, one or both of the
     @media query thresholds below need to be updated. */
  --docs-nav-min-width: 14em;
  --docs-nav-max-width: 1fr;
  --docs-toc-min-width: 10em;
  --docs-article-min-width: 30em;
  --docs-article-max-width: 49em;
  --docs-article-margin-horizontal: 3em;
  --docs-margin-top: 2em;

  display: grid;
  grid-template-columns:
    minmax(var(--docs-nav-min-width), var(--docs-nav-max-width))
    minmax(0, var(--docs-article-max-width)) 1fr;
  max-width: none;
  border-bottom: 1px solid var(--color-blue);

  /* Open Sans is more readable than Manrope, so we prefer it for content that
     users will spend a lot of time reading. */
  font-family: "Open Sans", sans-serif;

  background: var(--color-light-gray);
}

/* ------------------------------------
 * Article
 * ------------------------------------ */

article {
  max-width: var(--docs-article-max-width);
  padding: var(--docs-margin-top) var(--docs-article-margin-horizontal) var(--docs-margin-top)
    var(--docs-article-margin-horizontal);
  line-height: 1.8em;
  font-size: 0.88889em; /* 16px / 18px basis */
  color: #3e3e3e;
  background: white;
  margin: var(--docs-margin-top) 0;
  box-shadow: 0 0 5px 0 rgb(0 0 0 / 10%);
  margin-right: 2em;
  /* For when linking to #content via nav bypass. */
  scroll-margin-top: var(--header-height);
}

/* ------------------------------------
 * Body text
 * ------------------------------------ */

article {
  color: #3E3E3E;
}

article p {
  margin-block-start: 1.5em;
  margin-block-end: 1.5em;
}

article a {
  color: var(--docs-link-color);
}

article a:hover {
  text-decoration: underline;
}

article li {
  /* Slightly more space between list items */
  margin-bottom: 0.8em;
}

article li > p {
  margin: 0;
}

article > p > img.logo {
  max-width: 30%;
}

/* ------------------------------------
 * Code
 * ------------------------------------ */

/* Inline code */
article code:not([class]) {
  background: var(--color-light-gray);
  font-size: 0.85em;
  padding: 0.2em 0.4em;
  font-family: var(--playground-code-font-family, monospace);
}

/* Non-highlighted code block */
article pre > code:not([class]) {
  background: none;
  padding: 0;
}

/* Static code snippets */
.CodeMirror {
  color: #3c3c3c;
  border: var(--code-border);
}

/* With tabs */
litdev-example:not([filename]) {
  --litdev-example-bar-height: 45px;
}

/* Without tabs */
litdev-example[filename] {
  --litdev-example-bar-height: 31px;
}

body[code-language-preference="ts"] litdev-example {
  --litdev-example-editor-height: var(--litdev-example-editor-lines-ts) * 22px + 22px;
}

body[code-language-preference="js"] litdev-example {
  --litdev-example-editor-height: var(--litdev-example-editor-lines-js) * 22px + 22px;
}

litdev-example {
  /* Prevent upgrade layout shift. */
  display: block;
  height: calc(
    var(--litdev-example-bar-height) +
    var(--litdev-example-editor-height) +
    var(--litdev-example-preview-height));
}

.CodeMirror,
litdev-example {
  font-size: 0.85em;
  border-radius: 5px;
  border: var(--code-border);
}

figure {
  /* We put code snippets in figures for improved a11y semantics, but they come
     with default margins. */
  margin: 0;
}<commit_msg>Fix missing calc typo affecting editor height (#493)<commit_after>/* ------------------------------------
 * Main layout
 * ------------------------------------ */

main {
    /* Colors */
    --docs-h1-underline-color: var(--color-blue);
    --docs-h2-color: #384861;
    --docs-h3-color: #5d6c86;
    --docs-rule-color: #d1d1d1;
    --docs-table-header-background: #e4e4e4;
    --docs-table-header-color: rgb(73, 73, 73);
    --docs-link-color: #005cc5;
    --docs-nav-color: #242424;
    --playground-code-background: #fafafa;
    --code-border: 1px solid #ddd;

  /* IMPORTANT: If any of the following variables change, one or both of the
     @media query thresholds below need to be updated. */
  --docs-nav-min-width: 14em;
  --docs-nav-max-width: 1fr;
  --docs-toc-min-width: 10em;
  --docs-article-min-width: 30em;
  --docs-article-max-width: 49em;
  --docs-article-margin-horizontal: 3em;
  --docs-margin-top: 2em;

  display: grid;
  grid-template-columns:
    minmax(var(--docs-nav-min-width), var(--docs-nav-max-width))
    minmax(0, var(--docs-article-max-width)) 1fr;
  max-width: none;
  border-bottom: 1px solid var(--color-blue);

  /* Open Sans is more readable than Manrope, so we prefer it for content that
     users will spend a lot of time reading. */
  font-family: "Open Sans", sans-serif;

  background: var(--color-light-gray);
}

/* ------------------------------------
 * Article
 * ------------------------------------ */

article {
  max-width: var(--docs-article-max-width);
  padding: var(--docs-margin-top) var(--docs-article-margin-horizontal) var(--docs-margin-top)
    var(--docs-article-margin-horizontal);
  line-height: 1.8em;
  font-size: 0.88889em; /* 16px / 18px basis */
  color: #3e3e3e;
  background: white;
  margin: var(--docs-margin-top) 0;
  box-shadow: 0 0 5px 0 rgb(0 0 0 / 10%);
  margin-right: 2em;
  /* For when linking to #content via nav bypass. */
  scroll-margin-top: var(--header-height);
}

/* ------------------------------------
 * Body text
 * ------------------------------------ */

article {
  color: #3E3E3E;
}

article p {
  margin-block-start: 1.5em;
  margin-block-end: 1.5em;
}

article a {
  color: var(--docs-link-color);
}

article a:hover {
  text-decoration: underline;
}

article li {
  /* Slightly more space between list items */
  margin-bottom: 0.8em;
}

article li > p {
  margin: 0;
}

article > p > img.logo {
  max-width: 30%;
}

/* ------------------------------------
 * Code
 * ------------------------------------ */

/* Inline code */
article code:not([class]) {
  background: var(--color-light-gray);
  font-size: 0.85em;
  padding: 0.2em 0.4em;
  font-family: var(--playground-code-font-family, monospace);
}

/* Non-highlighted code block */
article pre > code:not([class]) {
  background: none;
  padding: 0;
}

/* Static code snippets */
.CodeMirror {
  color: #3c3c3c;
  border: var(--code-border);
}

/* With tabs */
litdev-example:not([filename]) {
  --litdev-example-bar-height: 45px;
}

/* Without tabs */
litdev-example[filename] {
  --litdev-example-bar-height: 31px;
}

body[code-language-preference="ts"] litdev-example {
  --litdev-example-editor-height: calc(
    var(--litdev-example-editor-lines-ts) * 22px + 22px);
}

body[code-language-preference="js"] litdev-example {
  --litdev-example-editor-height: calc(
    var(--litdev-example-editor-lines-js) * 22px + 22px);
}

litdev-example {
  /* Prevent upgrade layout shift. */
  display: block;
  height: calc(
    var(--litdev-example-bar-height) +
    var(--litdev-example-editor-height) +
    var(--litdev-example-preview-height));
}

.CodeMirror,
litdev-example {
  font-size: 0.85em;
  border-radius: 5px;
  border: var(--code-border);
}

figure {
  /* We put code snippets in figures for improved a11y semantics, but they come
     with default margins. */
  margin: 0;
}
{'fraction_non_alphanumeric': 0.23624425476034144, 'fraction_numerical': 0.031385423506237686, 'mean_word_length': 2.2, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6708409', 'n_tokens_mistral': 2882, 'n_tokens_neox': 2662, 'n_words': 575}