/* src/landingPage.css */
* {
  box-sizing: border-box;
}
html,
body {
  margin: 0;
  padding: 0;
  background: #FBF7EC;
  width: 100%;
}
::selection {
  background: #FCDDE9;
  color: #2B2722;
}
a {
  color: inherit;
}
@keyframes ppFadeUp {
  from {
    opacity: 0;
    transform: translateY(10px);
  }
  to {
    opacity: 1;
    transform: none;
  }
}
@keyframes ppFadeDown {
  from {
    opacity: 0;
    transform: translateY(-10px);
  }
  to {
    opacity: 1;
    transform: none;
  }
}
@keyframes ppSlideDown {
  from {
    transform: translateY(-100%);
  }
  to {
    transform: none;
  }
}
@keyframes ppSlideUp {
  from {
    transform: translateY(100%);
  }
  to {
    transform: none;
  }
}
.lp-section {
  position: relative;
  z-index: 2;
  max-width: 1180px;
  margin: 0 auto;
}
.lp-section-divider {
  border-top: 1px solid #E7DFCD;
  padding-top: 46px;
}
.lp-label {
  font-family: "JetBrains Mono", monospace;
  font-size: 13px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: #C72A6B;
}
.lp-h2 {
  font-family: "Newsreader", serif;
  font-weight: 400;
  font-size: 40px;
  line-height: 1.1;
  letter-spacing: -0.01em;
  margin: 0;
}
.lp-p {
  font-size: 18px;
  line-height: 1.6;
  color: #534e44;
  margin: 0;
}
.lp-mono-label {
  font-family: "JetBrains Mono", monospace;
  font-size: 11px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: #B6AF9C;
}
.lp-card {
  background: #FFFDF7;
  border: 1px solid #EFE8D6;
  border-radius: 12px;
}
.lp-proof-panel {
  width: max-content;
  max-width: 100%;
}
.hypothesis span.name {
  color: #d0005b;
}
.proof-tree {
  position: relative;
  border-radius: 3px;
  header,
  footer {
    background: #F3F1E8;
    .title {
      text-transform: uppercase;
      font-size: 10px;
      letter-spacing: 0.2em;
      padding: 4px 10px;
      width: 100%;
      text-align: center;
      color: rgb(163, 156, 140);
      font-family: "JetBrains Mono", monospace;
    }
  }
  header {
    padding-left: 10px;
    padding-right: 10px;
    border-top-left-radius: 3px;
    border-top-right-radius: 3px;
    width: 0;
    min-width: 100%;
    &.-row2Absent div.row-1 {
      padding-bottom: 5px;
    }
    div.row-1 > div {
      width: 100%;
      display: flex;
      flex-wrap: wrap-reverse;
      column-gap: 2px;
      row-gap: 2px;
    }
  }
  footer {
    border-bottom-left-radius: 3px;
    border-bottom-right-radius: 3px;
  }
}
.box {
  background: transparent;
  font-size: var(--box-font-size, 12px);
  border-radius: 3px;
  flex-grow: 1;
  width: max-content;
  .tactic {
    background-color: transparent;
  }
  .child-boxes,
  .byBoxes {
    display: flex;
    justify-content: space-between;
    align-items: flex-end;
    gap: 10px;
    position: relative;
    z-index: 1;
  }
}
#box-1 > .box-insides {
  background: #FFFDF7;
}
#box-2 > .box-insides,
#box-3 > .box-insides {
  background-image: url("data:image/svg+xml,%3csvg width='100%25' height='100%25' xmlns='http://www.w3.org/2000/svg'%3e%3crect width='100%25' height='100%25' fill='none' stroke='%23583b1624' stroke-width='3' stroke-dasharray='4%2c 6' stroke-dashoffset='0' stroke-linecap='square'/%3e%3c/svg%3e");
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
}
.box-insides {
  padding: 10px;
  padding-top: 12px;
  padding-bottom: 0;
}
div.hypothesis-table {
  margin-bottom: 12px;
  & + .goals {
    margin-top: 30px;
  }
}
#box-2 .box-insides > .hypothesis-table + .goals,
#box-3 .box-insides > .hypothesis-table + .goals {
  margin-top: 56px;
}
.htr-hyp {
  overflow: hidden;
}
.gtr-goal {
  overflow: hidden;
  position: relative;
  z-index: 5;
}
.hypothesis,
.goal,
.tactic {
  flex-wrap: wrap;
  padding: 5px 12px;
  border-radius: 3px;
  line-height: 1.3em;
  word-break: break-word;
  font-family: "JetBrains Mono", monospace;
  font-size: 13px;
  font-weight: 500;
}
.goal,
.hypothesis {
  position: relative;
}
.hypothesis {
  z-index: 10;
}
.goal {
  z-index: 1000;
}
.hypothesis {
  background: #a4dabc;
  border: 2px solid rgb(152 214 179);
  .name {
    color: #d0005b;
  }
}
.-isGreenHypothesesOFF .hypothesis.data {
  background: #f9e9b5;
  border: 2px solid rgb(239, 227, 152);
}
.goal {
  background: rgb(249, 195, 195);
  border: 2px solid rgb(246, 185, 185);
  color: #5a5656;
}
.tactic {
  margin-top: -2px;
  margin-bottom: -2px;
  padding-top: 7px;
  padding-bottom: 7px;
  color: #72787c;
  background-image: url("data:image/svg+xml,%3csvg width='100%25' height='100%25' xmlns='http://www.w3.org/2000/svg'%3e%3crect width='100%25' height='100%25' fill='none' stroke='%23583b1624' stroke-width='3' stroke-dasharray='4%2c 6' stroke-dashoffset='0' stroke-linecap='square'/%3e%3c/svg%3e");
  &.-success {
    display: flex;
    justify-content: center;
    align-items: center;
    text-align: center;
    gap: 7px;
    background: transparent;
    background-image: url("data:image/svg+xml,%3csvg width='100%25' height='100%25' xmlns='http://www.w3.org/2000/svg'%3e%3crect width='100%25' height='100%25' fill='none' stroke='%23583b1624' stroke-width='3' stroke-dasharray='4%2c 5' stroke-dashoffset='0' stroke-linecap='square'/%3e%3c/svg%3e");
    padding-top: 6px;
    padding-bottom: 6px;
  }
}
.goals {
  .goal {
    max-width: 200px;
    min-width: 100%;
  }
  .tactic {
    max-width: 200px;
    min-width: 100%;
  }
}
#box-1 > .box-insides > .goals {
  min-width: 200px;
}
#box-1 > .box-insides > .hypothesis-table {
  .hypothesis,
  .tactic {
    width: 63px;
    min-width: 0;
  }
}
#box-2,
#box-3 {
  .hypothesis-table .hypothesis,
  .hypothesis-table .tactic,
  .goals .tactic,
  .goals .goal {
    width: 197px;
    min-width: 0;
  }
}
.lp-root {
  background: #FBF7EC;
  color: #2B2722;
  font-family:
    "Spectral",
    Georgia,
    serif;
  min-height: 100vh;
  overflow: hidden;
}
.lp-vignette {
  position: fixed;
  inset: 0;
  pointer-events: none;
  opacity: 0.5;
  background:
    radial-gradient(
      circle at 18% 22%,
      rgba(0, 0, 0, 0.018),
      transparent 60%),
    radial-gradient(
      circle at 82% 78%,
      rgba(0, 0, 0, 0.02),
      transparent 55%);
  z-index: 0;
}
.lp-btn {
  text-decoration: none;
  display: inline-flex;
  align-items: center;
  gap: 10px;
  padding: 15px 26px;
  border-radius: 10px;
  font-family: "JetBrains Mono", monospace;
  font-size: 16px;
  font-weight: 500;
  &.-dark {
    background: #2B2722;
    color: #FBF7EC;
    box-shadow: 0 6px 20px rgba(43, 39, 34, 0.18);
  }
  &.-light {
    background: #FBF7EC;
    color: #2B2722;
  }
}
.lp-hero {
  padding: 72px 40px 40px;
  display: flex;
  justify-content: space-between;
  gap: 54px;
  align-items: center;
  h1 {
    font-family: "Newsreader", serif;
    font-weight: 500;
    font-size: 50px;
    line-height: 1.08;
    letter-spacing: -0.015em;
    margin: 0 0 26px;
  }
  .lp-hero-p {
    font-size: 20px;
    line-height: 1.55;
    color: #534e44;
    max-width: 30em;
    margin: 0 0 34px;
  }
  .lp-hero-actions {
    display: flex;
    align-items: center;
    gap: 22px;
    flex-wrap: wrap;
  }
  .lp-hero-tagline {
    margin-top: 26px;
    font-family: "JetBrains Mono", monospace;
    font-size: 13px;
    color: #A39C8C;
  }
}
.lp-proof-figure {
  margin: 0;
  .lp-proof-panel .proof-tree {
    --box-font-size: 12px;
  }
  .lp-proof-container {
    position: relative;
    svg {
      position: absolute;
      top: 0;
      left: 0;
      width: 100%;
      height: 100%;
      pointer-events: none;
      overflow: visible;
    }
  }
  figcaption {
    font-family: "Spectral", serif;
    font-style: italic;
    font-size: 14px;
    color: #A39C8C;
    text-align: center;
    margin-top: 20px;
  }
}
.lp-idea {
  padding: 74px 40px 30px;
  .lp-idea-grid {
    display: grid;
    grid-template-columns: 0.85fr 1.15fr;
    gap: 54px;
    align-items: start;
  }
  .lp-idea-compare {
    display: grid;
    grid-template-columns: 1fr auto 1fr;
    gap: 24px;
    align-items: center;
    .lp-card {
      padding: 18px;
      box-shadow: 0 10px 30px -22px rgba(43, 39, 34, 0.4);
    }
    .lp-idea-proof-card .box-insides {
      padding: 0;
    }
  }
  .lp-idea-pre {
    margin: 0;
    font-family: "JetBrains Mono", monospace;
    font-size: 13.5px;
    line-height: 1.85;
    color: #8A8473;
    white-space: pre-wrap;
    padding-top: 14px;
    padding-bottom: 15px;
  }
  .lp-idea-invisible-note {
    margin-top: 12px;
    font-family: "Spectral", serif;
    font-style: italic;
    font-size: 13.5px;
    color: rgba(192, 57, 43, 0.6);
  }
  .lp-idea-arrow {
    font-family: "JetBrains Mono", monospace;
    font-size: 22px;
    color: #C9C2B0;
    text-align: center;
  }
}
.lp-notation {
  padding: 60px 40px 30px;
  .lp-notation-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 22px;
  }
  .lp-notation-card {
    padding: 22px 20px;
    .lp-notation-badge-wrap {
      margin-bottom: 18px;
      .hypothesis,
      .goal,
      .tactic {
        margin: 0;
        width: fit-content;
        min-width: 0;
      }
    }
    h3 {
      font-family: "Newsreader", serif;
      font-weight: 500;
      font-size: 21px;
      margin: 0 0 7px;
    }
    p {
      font-size: 15px;
      line-height: 1.5;
      color: #6B6557;
      margin: 0;
    }
  }
}
.lp-install {
  padding: 66px 40px 20px;
}
.lp-install-box {
  background: #2B2722;
  border-radius: 20px;
  padding: 54px 56px;
  color: #FBF7EC;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 48px;
  align-items: center;
  overflow: hidden;
  position: relative;
  .lp-install-paper {
    position: absolute;
    right: -40px;
    bottom: -50px;
    width: 260px;
    opacity: 0.13;
    pointer-events: none;
    animation: ppFloat 9s ease-in-out infinite;
  }
  .lp-label {
    color: #E89BB8;
  }
  .lp-h2 {
    font-size: 42px;
    line-height: 1.06;
    margin: 0 0 18px;
  }
  .lp-install-p {
    font-size: 18px;
    line-height: 1.55;
    color: #D8D0BF;
    margin: 0 0 30px;
    max-width: 24em;
  }
  .lp-install-lean {
    font-family: "JetBrains Mono", monospace;
    font-size: 15px;
  }
  .lp-install-steps {
    position: relative;
    z-index: 1;
    display: flex;
    flex-direction: column;
    gap: 18px;
    .lp-install-step {
      display: flex;
      gap: 16px;
      align-items: baseline;
      .lp-install-step-n {
        font-family: "JetBrains Mono", monospace;
        font-size: 14px;
        color: #E89BB8;
      }
      .lp-install-step-title {
        font-family: "Newsreader", serif;
        font-size: 19px;
        margin-bottom: 2px;
      }
      .lp-install-step-desc {
        font-size: 15px;
        color: #B5AD9C;
        font-family: "Spectral", serif;
      }
    }
  }
}
.lp-footer {
  position: relative;
  z-index: 2;
  max-width: 1180px;
  margin: 0 auto;
  padding: 56px 40px 60px;
  .lp-footer-grid {
    border-top: 1px solid #E7DFCD;
    padding-top: 40px;
    display: grid;
    grid-template-columns: 1.3fr 1fr;
    gap: 48px;
    align-items: start;
  }
  .lp-footer-brand {
    display: flex;
    align-items: center;
    gap: 10px;
    margin-bottom: 14px;
    img {
      width: 26px;
      height: 26px;
      object-fit: contain;
    }
    span {
      font-family: "Newsreader", serif;
      font-size: 20px;
    }
  }
  .lp-footer-p {
    font-size: 16px;
    line-height: 1.55;
    color: #6B6557;
    max-width: 30em;
    margin: 0;
  }
  .lp-cite {
    padding: 18px 20px;
    pre {
      margin: 0;
      font-family: "JetBrains Mono", monospace;
      font-size: 12.5px;
      line-height: 1.7;
      color: #6B6557;
      white-space: pre-wrap;
    }
    .lp-cite-links {
      display: flex;
      gap: 20px;
      margin-top: 16px;
      font-family: "JetBrains Mono", monospace;
      font-size: 14px;
      a {
        color: #2B2722;
        border-bottom: 1px solid #C9C2B0;
        padding-bottom: 2px;
        text-decoration: none;
      }
    }
  }
  .lp-copyright {
    margin-top: 40px;
    font-family: "JetBrains Mono", monospace;
    font-size: 12px;
    color: #B6AF9C;
  }
}
@media (max-width: 640px) {
  .lp-root > header {
    padding: 20px 20px 0 !important;
    gap: 12px !important;
  }
  .lp-root > header nav {
    gap: 14px !important;
    font-size: 14px !important;
  }
  .lp-root > header nav a:first-child {
    display: none;
  }
  .lp-root > header nav a:last-child {
    padding: 7px 13px !important;
    font-size: 13px !important;
  }
  .lp-hero {
    flex-direction: column;
    padding: 36px 20px 30px;
    gap: 32px;
    h1 {
      font-size: 36px;
      margin-bottom: 18px;
    }
    .lp-hero-p {
      font-size: 17px;
      margin-bottom: 24px;
    }
    .lp-hero-actions {
      gap: 14px;
    }
  }
  .lp-btn {
    padding: 12px 20px;
    font-size: 14px;
  }
  .lp-proof-figure {
    zoom: 0.72;
  }
  .lp-idea {
    padding: 44px 20px 20px;
    .lp-idea-grid {
      grid-template-columns: 1fr;
      gap: 32px;
    }
    .lp-idea-compare {
      grid-template-columns: 1fr;
      gap: 16px;
    }
    .lp-idea-arrow {
      display: none;
    }
  }
  .lp-notation {
    padding: 44px 20px 20px;
    .lp-notation-grid {
      grid-template-columns: 1fr;
    }
  }
  .lp-install {
    padding: 44px 20px 16px;
  }
  .lp-install-box {
    grid-template-columns: 1fr;
    padding: 32px 24px;
    gap: 32px;
    .lp-h2 {
      font-size: 30px;
    }
    .lp-install-paper {
      display: none;
    }
  }
  .lp-h2 {
    font-size: 30px;
  }
  .lp-section {
    padding-left: 20px;
    padding-right: 20px;
  }
  .lp-section-divider {
    padding-top: 32px;
  }
  .lp-footer {
    padding: 40px 20px 40px;
    .lp-footer-grid {
      grid-template-columns: 1fr;
      gap: 32px;
    }
  }
}

/* src/proofPanel.css */
.pp-panel {
  background: #FFFDF7;
  border: 1px solid #EFE8D6;
  border-radius: 14px;
  overflow: hidden;
}
.pp-panel-tabs {
  display: flex;
  align-items: center;
  padding-left: 5px;
  border-bottom: 1px solid #e0dcd2a6;
  background: #2b272205;
}
.pp-panel-tab {
  font-family: "JetBrains Mono", monospace;
  font-size: 11px;
  color: #B6AF9C;
  padding: 10px 12px;
  &.-active {
    color: #2B27229C;
    background: #2b27220a;
    font-weight: 600;
  }
}
/*# sourceMappingURL=landingPage.css.map */