@font-face {
  font-family: "Fira Code";
  src: url("fonts/FiraCode-VariableFont_wght.ttf");
  font-weight: 300 700; }
@font-face {
  font-family: "Inter";
  src: url("fonts/Inter-VariableFont_opsz,wght.ttf");
  font-weight: 100 900; }
.draggable {
  cursor: move;
  /* fallback if grab cursor is unsupported */
  cursor: grab;
  cursor: -webkit-grab; }

.drag-target {
  background-color: #e9f1f4; }

.drop-zone {
  height: clamp(0.1rem, 2vh, 0.5rem); }

.drop-zone:not(.draggable) {
  cursor: default; }

.drop-zone.expanded-drop-zone {
  height: calc(clamp(1.125rem, calc(1.5vw + 1rem), 1.375rem) + 2 * clamp(0.1rem, 2vh, 0.5rem)); }

.drop-zone {
  transition: padding-bottom 0.3s ease-in; }

.drop-zone.failed-drop {
  transition: none; }

.dragging .drop-zone {
  transition: height 0.3s ease-out; }

@media (prefers-reduced-motion: reduce) {
  .drop-zone, .dragging .drop-zone {
    transition: none; } }
.material-symbols-outlined {
  font-variation-settings: "FILL" 0, "wght" 400, "GRAD" 0, "opsz" 24; }

.button, .menu-button, .navigation-button, .spawn-button, .bin, .new-proof-button, .symbol-button, .rule-button, .example-button, .logic-button, .source-button {
  display: flex;
  justify-content: center;
  align-items: center;
  outline: 0;
  cursor: pointer;
  vertical-align: middle;
  border: 1px solid #cbdde7;
  border-radius: 4px;
  background-color: transparent;
  color: inherit;
  transition: background-color 0.15s ease, border-color 0.15s ease, color 0.15s ease;
  text-decoration: none;
  user-select: none; }

.button:focus-visible, .menu-button:focus-visible, .navigation-button:focus-visible, .spawn-button:focus-visible, .bin:focus-visible, .new-proof-button:focus-visible, .symbol-button:focus-visible, .rule-button:focus-visible, .example-button:focus-visible, .logic-button:focus-visible, .source-button:focus-visible {
  outline: 2px solid #3d6478;
  outline-offset: 2px; }

.disabled, .button:disabled, .menu-button:disabled, .navigation-button:disabled, .spawn-button:disabled, .bin:disabled, .new-proof-button:disabled, .symbol-button:disabled, .rule-button:disabled, .example-button:disabled, .logic-button:disabled, .source-button:disabled {
  background-color: #f3f7fa;
  opacity: 0.5;
  pointer-events: none; }

.spawn-button:hover, .example-button:hover, .logic-button:hover, .source-button:hover {
  background-color: #e9f1f4; }

.symbol-button:hover, .rule-button:hover {
  background-color: #f3f7fa; }

.tooltip-right, .tooltip-bottom {
  position: fixed;
  inset: auto;
  margin: 0.5rem;
  width: max-content;
  max-width: min(28rem, calc(100vw - 1.5rem));
  max-height: calc(100dvh - 1.5rem);
  padding: 0.625rem 0.875rem;
  border: 1px solid #cbdde7;
  border-radius: 8px;
  box-shadow: 0 8px 24px rgba(41, 61, 72, 0.12), 0 2px 6px rgba(41, 61, 72, 0.06);
  background-color: #ffffff;
  color: #293d48;
  font-family: "Inter", system-ui, -apple-system, sans-serif;
  font-size: 0.8125rem;
  font-weight: 400;
  line-height: 1.5;
  text-align: left;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  opacity: 0;
  transition: opacity 0.15s ease-out, display 0.15s allow-discrete, overlay 0.15s allow-discrete;
  position-anchor: --tooltip; }

.tooltip-right:popover-open, .tooltip-bottom:popover-open {
  opacity: 1; }
@starting-style {
  .tooltip-right:popover-open, .tooltip-bottom:popover-open {
    opacity: 0; } }
.tooltip-right:has(mjx-container), .tooltip-bottom:has(mjx-container) {
  padding: 0.875rem 1rem;
  font-size: 0.9375rem; }

.tooltip-right mjx-container[display="true"], .tooltip-bottom mjx-container[display="true"] {
  margin: 0 !important; }

@media (prefers-reduced-motion: reduce) {
  .tooltip-right, .tooltip-bottom {
    transition: none; } }
.tooltip-right:empty, .tooltip-bottom:empty {
  display: none; }

.tooltip-right {
  position-area: right;
  position-try-fallbacks: flip-inline, bottom span-right, bottom span-left, top span-right, top span-left; }

.tooltip-bottom {
  position-area: bottom;
  position-try-fallbacks: flip-block, bottom span-right, bottom span-left, top span-right, top span-left; }

.tooltip-container {
  anchor-scope: --tooltip; }

.tooltip-anchor {
  anchor-name: --tooltip; }

code {
  font-family: "Fira Code", monospace; }

.header {
  display: flex;
  flex-shrink: 0;
  justify-content: space-between;
  align-items: center;
  gap: 16px;
  background-color: #ffffff;
  border-bottom: 1px solid #cbdde7;
  color: #293d48;
  padding: 0 24px;
  height: 3.75rem; }

.logo-header {
  display: flex;
  align-items: center;
  gap: 10px;
  user-select: none; }

.logo-header > h1 {
  font-size: 1.5rem;
  font-weight: 650;
  letter-spacing: -0.04em;
  line-height: 1; }

.logo-header > img {
  width: 32px;
  height: 32px; }

.menu-button, .navigation-button {
  flex-shrink: 0;
  width: 36px;
  height: 36px;
  border-color: transparent;
  border-radius: 7px;
  transition: background-color 0.15s ease, border-color 0.15s ease, box-shadow 0.15s ease, transform 0.15s ease; }

.menu-button > img, .navigation-button > img {
  width: 20px;
  height: 20px;
  opacity: 0.65; }

.menu-button {
  margin-right: 8px; }

@media (hover: hover) {
  .menu-button:hover, .navigation-button:hover:not(:disabled) {
    background-color: #e9f1f4;
    border-color: #cbdde7;
    box-shadow: 0 2px 4px rgba(41, 61, 72, 0.08);
    transform: translateY(-1px); }

  .menu-button:hover > img, .navigation-button:hover:not(:disabled) > img {
    opacity: 0.9; } }
.menu-button:active, .navigation-button:active:not(:disabled) {
  background-color: #cbdde7;
  box-shadow: none;
  transform: scale(0.96); }

.navigation-button:disabled {
  background-color: transparent;
  opacity: 0.35; }

.header-right-container {
  display: flex;
  align-items: center;
  gap: 20px; }

.error-number {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  min-height: 26px;
  padding: 4px 8px;
  font-size: 0.75rem;
  font-weight: 500;
  font-variant-numeric: tabular-nums;
  line-height: 1.25;
  white-space: nowrap;
  user-select: none; }

.error-number > img {
  flex-shrink: 0;
  width: 14px;
  height: 14px; }

.error-number + p {
  font-size: clamp(0.75rem, calc(0.5vw + 0.7rem), 0.875rem); }

.error-number.success {
  color: #286640; }

.error-number.success > img {
  filter: invert(32%) sepia(20%) saturate(1170%) hue-rotate(90deg) brightness(93%) contrast(90%); }

.error-number.failure {
  color: #a23e32; }

.error-number.failure > img {
  filter: invert(32%) sepia(37%) saturate(1327%) hue-rotate(326deg) brightness(88%) contrast(89%); }

.navigation-container {
  display: inline-flex;
  align-items: center;
  gap: 4px;
  border-left: 1px solid #cbdde7;
  padding-left: 16px; }

@media only screen and (max-width: 600px) {
  .header {
    padding: 0 12px; }

  .header-right-container {
    gap: 12px; }

  .navigation-container {
    padding-left: 12px; } }
@media only screen and (max-width: 480px) {
  .logo-header > h1 {
    display: none; }

  .menu-button {
    margin-right: 0; } }
@media (prefers-reduced-motion: reduce) {
  .menu-button, .navigation-button {
    transition: none; }

  .menu-button:hover, .navigation-button:hover:not(:disabled), .menu-button:active, .navigation-button:active:not(:disabled) {
    transform: none; } }
.proof-container-border {
  padding: 24px;
  flex-grow: 1;
  min-width: 0;
  display: flex;
  flex-direction: column;
  gap: 14px;
  height: calc(100dvh - 3.75rem);
  overflow: auto;
  overflow-anchor: none;
  color: #293d48;
  font-size: 1rem; }

.proof-view {
  flex-shrink: 0;
  border: 1px solid #cbdde7;
  border-radius: 4px;
  background-color: #ffffff; }

.proof-actions {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
  padding: 12px 20px;
  border-bottom: 1px solid #cbdde7;
  border-radius: 4px 4px 0 0;
  background-color: #f3f7fa;
  font-size: 0.8125rem; }

.spawn-button, .bin {
  gap: 8px;
  min-height: 36px;
  padding: 8px 12px; }

.spawn-button {
  background-color: #ffffff;
  cursor: grab; }

.spawn-button > img, .bin > img {
  width: 18px;
  height: 18px;
  opacity: 0.65;
  pointer-events: none; }

.bin {
  margin-left: auto;
  border-style: dashed;
  color: #5b7485;
  cursor: help; }

.bin:hover, .bin.drag-target {
  background-color: #fbefef;
  border-color: #dfbcbc;
  color: #9b5050; }

.proof-actions-hint {
  margin-left: 2px;
  color: #5b7485;
  font-size: 0.6875rem; }

.proof-help {
  color: #5b7485;
  font-size: 0.75rem;
  line-height: 1.5; }

.proof-container {
  padding: 20px 20px 26px;
  display: grid;
  grid-template-columns: 48px minmax(0, 1fr) minmax(12rem, 25%);
  row-gap: 14px; }

.proof-column-heading {
  color: #5b7485;
  font-size: 0.75rem;
  line-height: 1.25; }

.proof-column-heading:first-child, .line-no {
  padding-left: 4px; }

.formula-heading {
  padding-left: calc(1.25rem + 2px); }

.rule-heading, .rules-container {
  padding-left: 20px; }

@media only screen and (max-width: 600px) {
  .proof-container-border {
    padding: 12px; }

  .proof-actions {
    padding: 12px; }

  .spawn-button, .bin {
    gap: 6px;
    padding: 8px; }

  .proof-actions-hint {
    flex-basis: 100%;
    order: 1; }

  .proof-container {
    padding: 16px 12px 20px;
    grid-template-columns: 28px minmax(0, 1fr) minmax(6rem, 30%); }

  .rule-heading, .rules-container {
    padding-left: 8px; } }
.line-no-container {
  display: flex;
  flex-direction: column;
  min-width: 0; }

.line-no {
  color: #5b7485;
  font-size: 0.75rem;
  user-select: none; }

.formulae-container {
  min-width: 0; }

.formula-container {
  width: 100%;
  padding-left: 1.25rem; }

.formula-input {
  border: none;
  width: 100%;
  color: inherit; }

.subproof {
  position: relative;
  border-left: 2px solid #adc6d5;
  transition: background-color 0.1s linear; }

.subproof-handle {
  position: absolute;
  top: 0;
  bottom: 0;
  left: -2px;
  width: calc(1.25rem + 2px); }

.subproof .drop-zone:not(.last-assumption), .subproof .subproof {
  width: calc(100% - 1.25rem);
  margin-left: 1.25rem; }

.dragging .subproof-handle {
  pointer-events: none; }

.dragging .subproof .drop-zone {
  width: 100%;
  margin-left: 0; }

.draggable.subproof:hover:not(:has(.subproof:hover, .formula-container:hover, .drop-zone:not(.last-assumption):hover)) {
  background-color: #e9f1f4; }

.subproof:has(> .subproof-handle:active, > .last-assumption[draggable="true"]:active), .subproof.drag-target {
  background-color: #e9f1f4;
  transition: none; }

.drop-zone.last-assumption {
  border-bottom: 2px solid #adc6d5;
  margin-left: 0;
  margin-bottom: 5px; }

.empty-last-assumption {
  margin-bottom: 5px; }

.dragging :is(.last-assumption, .empty-last-assumption):not(:first-child) {
  position: relative; }
  .dragging :is(.last-assumption, .empty-last-assumption):not(:first-child)::before {
    content: "";
    position: absolute;
    top: -16px;
    bottom: 0;
    left: 0;
    right: 0;
    z-index: 1; }

.rule-input.has-error, .formula-input.has-error {
  text-decoration-line: spelling-error; }

.rules-container {
  min-width: 0; }

.empty-rule {
  user-select: none; }

.rule-container {
  width: 100%;
  cursor: pointer; }

.rule-input {
  border: none;
  width: 100%;
  color: #3d6478;
  font-size: 0.875rem; }

.formula-input, .rule-input {
  font-family: "Fira Code", monospace;
  padding: 0 6px;
  border-radius: 6px;
  transition: background-color 0.15s ease, box-shadow 0.15s ease; }

.draggable.formula-container:hover > .formula-input, .rule-container:hover > .rule-input {
  background-color: #e9f1f4; }

.formula-input.focused, .rule-input.focused {
  background-color: #e9f1f4;
  box-shadow: inset 0 0 0 1px rgba(61, 100, 120, 0.35); }

@media (prefers-reduced-motion: reduce) {
  .formula-input, .rule-input, .subproof {
    transition: none; } }
.rule-container > .tooltip-right, .rule-container > .tooltip-bottom, .formula-container > .tooltip-right, .formula-container > .tooltip-bottom {
  font-family: "Fira Code", monospace;
  font-size: clamp(0.75rem, calc(0.5vw + 0.7rem), 0.875rem); }

.formula-input, .rule-input, .line-no, .empty-rule {
  display: block;
  height: 34px;
  line-height: 34px; }

.rules-container .drop-zone.draggable, .line-no-container .drop-zone.draggable {
  cursor: default; }

.dragged {
  opacity: 0.4; }

.drop-zone.expanded-drop-zone {
  height: calc(34px + 2 * clamp(0.1rem, 2vh, 0.5rem)); }

.drop-zone {
  padding: 0; }

.sidebar {
  width: clamp(16rem, 20vw, 18rem);
  flex-shrink: 0;
  background-color: #f3f7fa;
  border-right: 1px solid #cbdde7;
  color: #293d48;
  z-index: 110;
  height: calc(100dvh - 3.75rem);
  overflow-x: hidden;
  overflow-y: auto;
  scrollbar-width: none;
  visibility: visible;
  transition: width 0.32s cubic-bezier(0.4, 0, 0.2, 1), border-right-width 0.32s cubic-bezier(0.4, 0, 0.2, 1), visibility 0s; }

.sidebar-container {
  box-sizing: border-box;
  display: flex;
  flex-direction: column;
  width: clamp(16rem, 20vw, 18rem);
  transform: translateX(0);
  transition: transform 0.32s cubic-bezier(0.4, 0, 0.2, 1);
  padding: 24px 20px;
  gap: 12px;
  font-size: 0.8125rem; }

.sidebar.sidebar-closed {
  width: 0;
  border-right-width: 0;
  pointer-events: none;
  visibility: hidden;
  transition-delay: 0s, 0s, 0.32s; }

.sidebar-closed .sidebar-container {
  transform: translateX(-100%); }

@media only screen and (max-width: 1200px) {
  .sidebar {
    position: absolute;
    width: 70vw; }

  .sidebar-container {
    width: 70vw; } }
@media (prefers-reduced-motion: reduce) {
  .sidebar, .sidebar-container {
    transition: none; } }
.sidebar-container .button, .sidebar-container .menu-button, .sidebar-container .navigation-button, .sidebar-container .spawn-button, .sidebar-container .bin, .sidebar-container .new-proof-button, .sidebar-container .symbol-button, .sidebar-container .rule-button, .sidebar-container .example-button, .sidebar-container .logic-button, .sidebar-container .source-button {
  font-weight: 500; }

.sidebar-element {
  background-color: transparent;
  border: none;
  margin: 0;
  scroll-margin-block: 12px; }

.sidebar-divider {
  border: none;
  border-top: 1px solid #cbdde7;
  width: 100%; }

details > summary {
  list-style: none;
  cursor: pointer;
  user-select: none; }

details > summary::-webkit-details-marker {
  display: none; }

.summary-arrow {
  display: flex;
  align-items: center;
  height: 16px; }

details[open] > summary > .summary-arrow {
  transform: rotate(180deg); }

details > summary > .summary-arrow {
  transition: transform 0.32s cubic-bezier(0.4, 0, 0.2, 1); }

.sidebar-element::details-content {
  display: grid;
  grid-template-rows: 0fr;
  content-visibility: visible;
  transition: grid-template-rows 0.32s cubic-bezier(0.4, 0, 0.2, 1); }

.sidebar-element[open]::details-content {
  grid-template-rows: 1fr; }

.sidebar-section-content {
  min-height: 0;
  overflow: hidden;
  visibility: hidden;
  transition: visibility 0s linear 0.32s; }

.sidebar-element[open] > .sidebar-section-content {
  visibility: visible;
  transition-delay: 0s; }

@media (prefers-reduced-motion: reduce) {
  .sidebar-element::details-content, .sidebar-section-content, .sidebar-element > summary > .summary-arrow {
    transition: none; } }
.sidebar-header {
  font-size: 0.8125rem;
  font-weight: 600;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 10px 6px; }

.sidebar-header b {
  font-weight: inherit; }

.sidebar-header img {
  width: 18px;
  height: 18px;
  opacity: 0.65; }

.summary-arrow img {
  width: 14px;
  height: 14px; }

.icon-text {
  gap: 10px;
  display: flex;
  align-items: center; }

.row-sidebar-content, .column-sidebar-content {
  width: 100%;
  padding: 6px;
  gap: 6px;
  display: flex;
  justify-content: flex-start;
  font-size: 0.8125rem; }

.row-sidebar-content {
  flex-direction: row;
  flex-wrap: wrap; }

.column-sidebar-content {
  flex-direction: column; }

.new-proof-button {
  background-color: #3d6478;
  border-color: #3d6478;
  color: #ffffff;
  min-height: 42px;
  padding: 10px 12px;
  margin-bottom: 4px;
  gap: 8px;
  font-size: 0.8125rem; }
  .new-proof-button:hover {
    background-color: #335364;
    border-color: #335364; }
  .new-proof-button img {
    width: 18px;
    height: 18px;
    filter: brightness(0) invert(1); }

.symbol-button {
  cursor: help;
  background-color: #ffffff;
  padding: 6px;
  width: 36px;
  min-height: 36px; }

.rule-button {
  cursor: help;
  background-color: #ffffff;
  padding: 6px 4px;
  min-height: 32px;
  width: 100%;
  font-family: "Fira Code", monospace;
  font-size: 0.75rem; }

.tooltip-container:has(.rule-button) {
  width: calc(25% - 4.5px); }

.example-button, .logic-button, .source-button {
  padding: 8px 10px;
  min-height: 34px;
  border-color: transparent;
  width: 100%;
  justify-content: left; }

.logic-button {
  gap: 0.5rem; }
  .logic-button.selected {
    background-color: #e9f1f4;
    color: #3d6478;
    font-weight: 600; }
  .logic-button:has(input:focus-visible) {
    outline: 2px solid #3d6478;
    outline-offset: 2px; }
  .logic-button input {
    width: 1em;
    height: 1em;
    flex-shrink: 0;
    accent-color: #3d6478;
    cursor: pointer; }

.source-button {
  gap: 8px; }

.source-button > img {
  width: 1rem;
  height: 1rem; }

.usage-info {
  color: #5b7485;
  line-height: 1.6;
  gap: 8px; }

.usage-info b {
  color: #293d48;
  font-weight: 500; }

.usage-info li {
  display: flex;
  align-items: flex-start;
  gap: 4px; }

.usage-info li img {
  flex-shrink: 0;
  width: 16px;
  height: 16px;
  margin-top: 2px;
  opacity: 0.6; }

.app-container {
  display: flex;
  flex: 1;
  flex-direction: column;
  background-color: #e9f1f4;
  font-size: clamp(1.125rem, calc(1.5vw + 1rem), 1.375rem); }

.content-container {
  display: inline-flex;
  width: 100%;
  height: 100%; }

* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
  font-size: inherit;
  font-family: inherit; }

body {
  font-family: "Inter", system-ui, -apple-system, sans-serif;
  overflow: clip;
  color: #000000;
  font-variant-ligatures: none; }

button,
input {
  background-color: transparent; }

input:focus {
  outline: none; }

a {
  text-decoration: none;
  color: #000000; }

ul {
  list-style: none;
  padding: 0; }

/*# sourceMappingURL=style.css.map */