.page-p-adic-lift-tree {
  color-scheme: dark;
  --bg: #090d18;
  --surface: #111827;
  --surface-raised: #172033;
  --surface-soft: #0d1525;
  --line: #2a3850;
  --line-strong: #41516e;
  --text: #edf4ff;
  --muted: #9eabc0;
  --accent: #7ee0c3;
  --accent-strong: #35cfa6;
  --accent-ink: #06251e;
  --blue: #7db8ff;
  --amber: #f7c76c;
  --red: #ff8f9f;
  --focus: #fff1a8;
  --shadow: 0 18px 55px rgb(0 0 0 / 26%);
  --radius-lg: 20px;
  --radius-md: 13px;
  --radius-sm: 9px;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}.page-p-adic-lift-tree * {
  box-sizing: border-box;
}.page-p-adic-lift-tree {
  min-width: 320px;
  background: var(--bg);
  scroll-behavior: smooth;
}.page-p-adic-lift-tree {
  min-width: 320px;
  min-height: 100vh;
  margin: 0;
  overflow-x: hidden;
  color: var(--text);
  background:
    radial-gradient(circle at 12% -10%, rgb(52 112 143 / 24%), transparent 34rem),
    radial-gradient(circle at 90% 16%, rgb(41 157 125 / 14%), transparent 30rem),
    var(--bg);
}.page-p-adic-lift-tree [hidden] {
  display: none !important;
}.page-p-adic-lift-tree button,
.page-p-adic-lift-tree input,
.page-p-adic-lift-tree select {
  font: inherit;
}.page-p-adic-lift-tree button,
.page-p-adic-lift-tree select {
  cursor: pointer;
}.page-p-adic-lift-tree button:disabled,
.page-p-adic-lift-tree select:disabled,
.page-p-adic-lift-tree input:disabled {
  cursor: not-allowed;
  opacity: 0.5;
}.page-p-adic-lift-tree button:focus-visible,
.page-p-adic-lift-tree input:focus-visible,
.page-p-adic-lift-tree select:focus-visible,
.page-p-adic-lift-tree summary:focus-visible,
.page-p-adic-lift-tree [tabindex]:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 3px;
}.page-p-adic-lift-tree .skip-link {
  position: fixed;
  z-index: 100;
  top: 12px;
  left: 12px;
  padding: 10px 14px;
  border-radius: var(--radius-sm);
  color: #07111e;
  background: var(--focus);
  font-weight: 800;
  transform: translateY(-160%);
}.page-p-adic-lift-tree .skip-link:focus {
  transform: translateY(0);
}.page-p-adic-lift-tree .padic-prototype-site-header {
  width: min(1500px, calc(100% - 40px));
  min-width: 0;
  margin: 0 auto;
  padding: 18px 0 12px;
  display: flex;
  align-items: center;
  gap: 12px;
  border-bottom: 1px solid rgb(126 224 195 / 18%);
}.page-p-adic-lift-tree .padic-prototype-site-mark {
  width: 38px;
  height: 38px;
  flex: 0 0 auto;
  display: grid;
  place-items: center;
  border: 1px solid rgb(126 224 195 / 55%);
  border-radius: 50%;
  color: var(--accent);
  background: rgb(126 224 195 / 8%);
  font: 700 italic 1.35rem Georgia, serif;
}.page-p-adic-lift-tree .eyebrow,
.page-p-adic-lift-tree .padic-prototype-site-name,
.page-p-adic-lift-tree .padic-prototype-header-model,
.page-p-adic-lift-tree .kicker,
.page-p-adic-lift-tree .step-label {
  margin: 0;
}.page-p-adic-lift-tree .eyebrow,
.page-p-adic-lift-tree .kicker,
.page-p-adic-lift-tree .step-label {
  color: var(--accent);
  font-size: 0.69rem;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}.page-p-adic-lift-tree .padic-prototype-site-name {
  margin-top: 2px;
  font-weight: 750;
  letter-spacing: 0.01em;
}.page-p-adic-lift-tree .padic-prototype-header-model {
  min-width: 0;
  margin-left: auto;
  color: var(--muted);
  font-size: 0.78rem;
  text-align: right;
}.page-p-adic-lift-tree main {
  width: min(1500px, calc(100% - 40px));
  min-width: 0;
  margin: 0 auto;
  padding: 18px 0 42px;
}.page-p-adic-lift-tree .lab-hero {
  padding: 32px 0 16px;
}.page-p-adic-lift-tree h1,
.page-p-adic-lift-tree h2,
.page-p-adic-lift-tree h3,
.page-p-adic-lift-tree p {
  overflow-wrap: anywhere;
}.page-p-adic-lift-tree h1 {
  max-width: 920px;
  margin: 5px 0 0;
  font-size: clamp(1.65rem, 2.55vw, 2.65rem);
  line-height: 1.08;
  letter-spacing: 0;
}.page-p-adic-lift-tree h1 i {
  color: var(--accent);
  font-family: Georgia, serif;
}.page-p-adic-lift-tree h2 {
  margin: 3px 0 0;
  font-size: clamp(1.02rem, 1.3vw, 1.28rem);
  line-height: 1.15;
}.page-p-adic-lift-tree h3 {
  margin: 0;
  font-size: 0.83rem;
}.page-p-adic-lift-tree .workspace,
.page-p-adic-lift-tree .flow-column,
.page-p-adic-lift-tree .result-grid,
.page-p-adic-lift-tree .panel,
.page-p-adic-lift-tree .panel-heading,
.page-p-adic-lift-tree .field,
.page-p-adic-lift-tree .input-grid {
  min-width: 0;
}.page-p-adic-lift-tree .workspace {
  display: grid;
  grid-template-columns: minmax(300px, 355px) minmax(0, 1fr);
  align-items: start;
  gap: 16px;
}.page-p-adic-lift-tree .flow-column {
  display: grid;
  gap: 16px;
}.page-p-adic-lift-tree .panel {
  border: 1px solid var(--line);
  border-radius: var(--radius-lg);
  background:
    linear-gradient(145deg, rgb(255 255 255 / 2.8%), transparent 46%),
    rgb(17 24 39 / 94%);
  box-shadow: var(--shadow);
}.page-p-adic-lift-tree .control-panel {
  padding: 17px;
}.page-p-adic-lift-tree .panel-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 14px;
  margin-bottom: 14px;
}.page-p-adic-lift-tree .panel-heading.compact {
  margin-bottom: 12px;
}.page-p-adic-lift-tree .state-badge,
.page-p-adic-lift-tree .outcome-pill {
  flex: 0 0 auto;
  padding: 6px 9px;
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  color: var(--muted);
  background: var(--surface-soft);
  font-size: 0.67rem;
  font-weight: 850;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}.page-p-adic-lift-tree .state-badge[data-state="running"],
.page-p-adic-lift-tree .state-badge[data-state="lifting"] {
  color: var(--amber);
  border-color: rgb(247 199 108 / 50%);
}.page-p-adic-lift-tree .state-badge[data-state="initial-roots"],
.page-p-adic-lift-tree .state-badge[data-state="no-roots"],
.page-p-adic-lift-tree .outcome-pill[data-outcome="pending"] {
  color: var(--blue);
  border-color: rgb(125 184 255 / 50%);
}.page-p-adic-lift-tree .state-badge[data-state="complete"],
.page-p-adic-lift-tree .state-badge[data-state="level-certified"],
.page-p-adic-lift-tree .outcome-pill[data-outcome="depth-complete"],
.page-p-adic-lift-tree .outcome-pill[data-outcome="unique"] {
  color: var(--accent);
  border-color: rgb(126 224 195 / 50%);
}.page-p-adic-lift-tree .state-badge[data-state="safe-stop"],
.page-p-adic-lift-tree .outcome-pill[data-outcome="dead"] {
  color: var(--red);
  border-color: rgb(255 143 159 / 50%);
}.page-p-adic-lift-tree .state-badge[data-state="cancelled"],
.page-p-adic-lift-tree .outcome-pill[data-outcome="split"] {
  color: var(--amber);
  border-color: rgb(247 199 108 / 50%);
}.page-p-adic-lift-tree #controlsForm {
  display: grid;
  gap: 7px;
}.page-p-adic-lift-tree .field {
  display: grid;
  gap: 6px;
}.page-p-adic-lift-tree .field label {
  color: #dce7f7;
  font-size: 0.76rem;
  font-weight: 750;
}.page-p-adic-lift-tree .field label span {
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 500;
}.page-p-adic-lift-tree input,
.page-p-adic-lift-tree select {
  width: 100%;
  min-height: 40px;
  min-width: 0;
  padding: 8px 10px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius-sm);
  color: var(--text);
  background: var(--surface-soft);
}.page-p-adic-lift-tree input:hover,
.page-p-adic-lift-tree select:hover {
  border-color: #5a7194;
}.page-p-adic-lift-tree input[aria-invalid="true"] {
  border-color: var(--red);
  box-shadow: 0 0 0 2px rgb(255 143 159 / 16%);
}.page-p-adic-lift-tree .input-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 9px;
}.page-p-adic-lift-tree .field-meta {
  min-width: 0;
  display: flex;
  justify-content: space-between;
  gap: 10px;
}.page-p-adic-lift-tree small,
.page-p-adic-lift-tree .fine-print {
  color: var(--muted);
  font-size: 0.67rem;
  line-height: 1.35;
}.page-p-adic-lift-tree #polynomialPreview {
  max-width: 45%;
  color: var(--accent);
  font: 700 0.73rem Georgia, serif;
  text-align: right;
}.page-p-adic-lift-tree button {
  min-height: 38px;
  min-width: 0;
  padding: 8px 12px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius-sm);
  color: var(--text);
  background: #1a263a;
  font-weight: 750;
}.page-p-adic-lift-tree button:hover:not(:disabled) {
  border-color: var(--accent);
  background: #213149;
}.page-p-adic-lift-tree .primary-action {
  min-height: 63px;
  padding: 10px 14px;
  display: grid;
  align-content: center;
  gap: 3px;
  border: 1px solid var(--accent);
  color: var(--accent-ink);
  background: linear-gradient(135deg, #9af0d6, #5edab7);
  box-shadow: 0 10px 28px rgb(53 207 166 / 17%);
  text-align: left;
}.page-p-adic-lift-tree .primary-action:hover:not(:disabled) {
  color: #031a15;
  background: linear-gradient(135deg, #b1f6e1, #6fe7c4);
}.page-p-adic-lift-tree .primary-action > span:first-child {
  font-size: 1rem;
  font-weight: 900;
  letter-spacing: 0.045em;
}.page-p-adic-lift-tree .button-hint {
  font-size: 0.66rem;
  font-weight: 650;
  line-height: 1.25;
  opacity: 0.8;
}.page-p-adic-lift-tree .process-card {
  padding: 11px;
  border: 1px solid rgb(125 184 255 / 27%);
  border-radius: var(--radius-md);
  background: rgb(11 20 35 / 72%);
}.page-p-adic-lift-tree .process-topline,
.page-p-adic-lift-tree .flow-toolbar {
  min-width: 0;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
}.page-p-adic-lift-tree .process-topline output {
  color: var(--blue);
  font-family: ui-monospace, SFMono-Regular, Consolas, monospace;
  font-size: 0.72rem;
}.page-p-adic-lift-tree .current-step {
  min-height: 2.5em;
  margin: 8px 0 4px;
  font-size: 0.78rem;
  font-weight: 700;
  line-height: 1.25;
}.page-p-adic-lift-tree .next-step {
  min-height: 2.4em;
  margin: 0;
  color: var(--muted);
  font-size: 0.7rem;
  line-height: 1.25;
}.page-p-adic-lift-tree .progress-track {
  height: 5px;
  margin-top: 9px;
  overflow: hidden;
  border-radius: 999px;
  background: #26344a;
}.page-p-adic-lift-tree .progress-track span {
  width: 0;
  height: 100%;
  display: block;
  border-radius: inherit;
  background: var(--accent);
  transition: width 180ms ease;
}.page-p-adic-lift-tree .run-actions {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 7px;
}.page-p-adic-lift-tree .run-actions button,
.page-p-adic-lift-tree .reset-actions button {
  padding-inline: 7px;
  font-size: 0.72rem;
}.page-p-adic-lift-tree .reset-actions {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 7px;
}.page-p-adic-lift-tree .problem-settings,
.page-p-adic-lift-tree .advanced-settings,
.page-p-adic-lift-tree .model-note {
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  color: var(--muted);
  background: rgb(13 21 37 / 60%);
}.page-p-adic-lift-tree summary {
  min-height: 44px;
  padding: 10px 12px;
  display: flex;
  align-items: center;
  color: #ced9e9;
  cursor: pointer;
  font-size: 0.75rem;
  font-weight: 750;
}.page-p-adic-lift-tree .details-body {
  padding: 0 12px 12px;
  display: grid;
  gap: 11px;
}.page-p-adic-lift-tree summary:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: -2px;
}.page-p-adic-lift-tree .problem-settings[open] .details-body {
  min-width: 0;
  overflow: visible;
}.page-p-adic-lift-tree .fine-print {
  margin: 8px 0 0;
}.page-p-adic-lift-tree .flow-panel {
  min-height: 414px;
  padding: 17px;
}.page-p-adic-lift-tree .flow-heading {
  align-items: center;
  margin-bottom: 8px;
}.page-p-adic-lift-tree .flow-legend {
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: 7px 12px;
  color: var(--muted);
  font-size: 0.66rem;
}.page-p-adic-lift-tree .flow-legend span {
  white-space: nowrap;
}.page-p-adic-lift-tree .legend-dot {
  width: 7px;
  height: 7px;
  display: inline-block;
  margin-right: 4px;
  border-radius: 50%;
}.page-p-adic-lift-tree .legend-dot.pending {
  border: 1px solid var(--blue);
  background: transparent;
}.page-p-adic-lift-tree .legend-dot.unique {
  background: var(--accent);
}.page-p-adic-lift-tree .legend-dot.split {
  background: var(--amber);
}.page-p-adic-lift-tree .legend-dot.dead {
  background: var(--red);
}.page-p-adic-lift-tree .legend-dot.depth-complete {
  background: var(--accent);
  box-shadow: 0 0 0 2px rgb(126 224 195 / 20%);
}.page-p-adic-lift-tree .flow-toolbar {
  padding: 7px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  font-size: 0.68rem;
}.page-p-adic-lift-tree .flow-toolbar p {
  min-width: 0;
  margin: 0;
}.page-p-adic-lift-tree .flow-toolbar p:last-child {
  text-align: right;
}.page-p-adic-lift-tree .flow-viewport {
  position: relative;
  min-height: 310px;
  overflow: auto;
  overscroll-behavior: contain;
  scrollbar-gutter: stable;
  border-radius: var(--radius-md);
  background:
    linear-gradient(rgb(125 184 255 / 5%) 1px, transparent 1px),
    linear-gradient(90deg, rgb(125 184 255 / 5%) 1px, transparent 1px),
    #0b1220;
  background-size: 24px 24px;
  isolation: isolate;
}.page-p-adic-lift-tree .flow-viewport svg {
  position: relative;
  z-index: 1;
  width: 100%;
  height: 310px;
  display: block;
}.page-p-adic-lift-tree .flow-empty {
  position: absolute;
  z-index: 2;
  inset: 0;
  display: grid;
  place-content: center;
  justify-items: center;
  padding: 20px;
  color: var(--muted);
  text-align: center;
  pointer-events: none;
}.page-p-adic-lift-tree .flow-empty > span {
  color: rgb(126 224 195 / 55%);
  font: 700 clamp(1.4rem, 3vw, 2.4rem) Georgia, serif;
  letter-spacing: 0.08em;
}.page-p-adic-lift-tree .flow-empty p {
  max-width: 330px;
  margin: 12px 0 0;
  font-size: 0.78rem;
  line-height: 1.45;
}.page-p-adic-lift-tree .flow-instruction {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.67rem;
  text-align: center;
}.page-p-adic-lift-tree .flow-scroll-hint {
  margin: 7px 0 0;
  color: var(--blue);
  font-size: 0.7rem;
  font-weight: 700;
  line-height: 1.35;
  text-align: center;
}.page-p-adic-lift-tree .flow-edge {
  fill: none;
  stroke: #526786;
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}.page-p-adic-lift-tree .flow-node {
  cursor: pointer;
  touch-action: manipulation;
}.page-p-adic-lift-tree .flow-node rect {
  fill: #17243a;
  stroke: #60789d;
  stroke-width: 1.5;
  vector-effect: non-scaling-stroke;
}.page-p-adic-lift-tree .flow-node[data-outcome="unique"] rect {
  stroke: var(--accent);
}.page-p-adic-lift-tree .flow-node[data-outcome="pending"] rect {
  stroke: var(--blue);
  stroke-dasharray: 5 3;
}.page-p-adic-lift-tree .flow-node[data-outcome="split"] rect {
  stroke: var(--amber);
}.page-p-adic-lift-tree .flow-node[data-outcome="dead"] rect {
  stroke: var(--red);
}.page-p-adic-lift-tree .flow-node[data-outcome="depth-complete"] rect {
  fill: #17342f;
  stroke: var(--accent);
  stroke-width: 2;
}.page-p-adic-lift-tree .flow-node[aria-current="true"] rect {
  stroke-width: 3;
  filter: drop-shadow(0 0 7px rgb(126 224 195 / 45%));
}.page-p-adic-lift-tree .flow-node text {
  fill: var(--text);
  font: 700 12px ui-monospace, SFMono-Regular, Consolas, monospace;
  pointer-events: none;
}.page-p-adic-lift-tree .flow-node .flow-node-detail,
.page-p-adic-lift-tree .flow-node text:last-of-type {
  font-size: 11px !important;
}.page-p-adic-lift-tree .result-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(280px, 0.85fr);
  align-items: start;
  gap: 16px;
}.page-p-adic-lift-tree .result-panel,
.page-p-adic-lift-tree .distance-panel {
  padding: 16px;
}.page-p-adic-lift-tree .safe-stop {
  margin-bottom: 12px;
  padding: 10px 12px;
  border: 1px solid rgb(255 143 159 / 42%);
  border-radius: var(--radius-md);
  color: #ffd9df;
  background: rgb(92 21 39 / 28%);
}.page-p-adic-lift-tree .safe-stop p {
  margin: 3px 0 0;
  font-size: 0.75rem;
  line-height: 1.4;
}.page-p-adic-lift-tree .node-inspector {
  padding: 11px;
  border-radius: var(--radius-md);
  background: var(--surface-soft);
}.page-p-adic-lift-tree #branchSummary {
  min-height: 2.5em;
  margin: 0 0 9px;
  color: #d7e3f4;
  font-size: 0.78rem;
  line-height: 1.3;
}.page-p-adic-lift-tree .metric-list,
.page-p-adic-lift-tree .distance-results {
  margin: 0;
  display: grid;
}.page-p-adic-lift-tree .metric-list {
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px;
}.page-p-adic-lift-tree .metric-list div,
.page-p-adic-lift-tree .distance-results div {
  min-width: 0;
}.page-p-adic-lift-tree dt {
  color: var(--muted);
  font-size: 0.64rem;
}.page-p-adic-lift-tree dd {
  margin: 3px 0 0;
  overflow-wrap: anywhere;
  font-family: ui-monospace, SFMono-Regular, Consolas, monospace;
  font-size: 0.78rem;
  font-weight: 750;
}.page-p-adic-lift-tree .table-wrap {
  max-width: 100%;
  margin-top: 10px;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius-sm);
}.page-p-adic-lift-tree table {
  width: 100%;
  border-collapse: collapse;
  table-layout: fixed;
  font-size: 0.68rem;
}.page-p-adic-lift-tree caption {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}.page-p-adic-lift-tree th,
.page-p-adic-lift-tree td {
  min-width: 0;
  padding: 7px 6px;
  overflow-wrap: anywhere;
  border-bottom: 1px solid var(--line);
  text-align: left;
}.page-p-adic-lift-tree th {
  color: var(--muted);
  background: #131e30;
}.page-p-adic-lift-tree tbody tr:last-child td {
  border-bottom: 0;
}.page-p-adic-lift-tree .empty-row td {
  color: var(--muted);
  text-align: center;
}.page-p-adic-lift-tree .distance-panel .panel-heading {
  align-items: center;
}.page-p-adic-lift-tree .text-button {
  min-height: 32px;
  max-width: 180px;
  padding: 5px 8px;
  color: var(--accent);
  background: transparent;
  font-size: 0.64rem;
}.page-p-adic-lift-tree .distance-inputs {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px;
}.page-p-adic-lift-tree .secondary-action {
  width: 100%;
  margin: 9px 0;
  font-size: 0.7rem;
}.page-p-adic-lift-tree .distance-results {
  gap: 6px;
}.page-p-adic-lift-tree .distance-results div {
  padding: 8px 9px;
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 12px;
  border-radius: var(--radius-sm);
  background: var(--surface-soft);
}.page-p-adic-lift-tree .distance-results dt span {
  display: block;
  color: #c9d5e6;
  font-family: Georgia, serif;
  font-size: 0.72rem;
}.page-p-adic-lift-tree .distance-results dd {
  flex: 0 1 auto;
  color: var(--accent);
  text-align: right;
}.page-p-adic-lift-tree .interpretation {
  margin: 9px 0 0;
  color: #cdd9e9;
  font-size: 0.73rem;
  line-height: 1.4;
}.page-p-adic-lift-tree .output-panel {
  padding: 14px 16px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 18px;
}.page-p-adic-lift-tree .output-panel h2 {
  margin-bottom: 3px;
}.page-p-adic-lift-tree .output-panel .output-description,
.page-p-adic-lift-tree .output-panel .export-status {
  margin: 0;
  color: var(--muted);
  font-size: 0.7rem;
}.page-p-adic-lift-tree .output-panel .export-status {
  min-height: 1.35em;
  margin-top: 3px;
}.page-p-adic-lift-tree .export-status[data-state="pending"] {
  color: var(--amber);
}.page-p-adic-lift-tree .export-status[data-state="success"] {
  color: var(--accent);
}.page-p-adic-lift-tree .export-status[data-state="stale"],
.page-p-adic-lift-tree .export-status[data-state="error"] {
  color: var(--red);
}.page-p-adic-lift-tree .output-actions {
  min-width: min(100%, 330px);
  display: grid;
  grid-template-columns: minmax(0, 0.7fr) minmax(0, 1.3fr);
  gap: 8px;
}.page-p-adic-lift-tree .model-note {
  margin-top: 16px;
}.page-p-adic-lift-tree .model-note p {
  margin: 0;
  padding: 0 13px 13px;
  color: var(--muted);
  font-size: 0.76rem;
  line-height: 1.5;
}.page-p-adic-lift-tree dialog {
  width: min(760px, calc(100% - 28px));
  max-height: calc(100vh - 28px);
  padding: 0;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius-lg);
  color: var(--text);
  background: var(--surface);
  box-shadow: 0 30px 100px rgb(0 0 0 / 65%);
}.page-p-adic-lift-tree dialog::backdrop {
  background: rgb(3 7 14 / 78%);
  backdrop-filter: blur(4px);
}.page-p-adic-lift-tree .dialog-heading {
  padding: 16px;
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 14px;
  border-bottom: 1px solid var(--line);
}.page-p-adic-lift-tree .icon-button {
  width: 38px;
  padding: 0;
  font-size: 1.35rem;
}.page-p-adic-lift-tree #reportText {
  min-height: 320px;
  max-height: calc(100vh - 230px);
  margin: 0;
  padding: 16px;
  overflow: auto;
  color: #dce8f8;
  background: #080d17;
  font: 0.75rem/1.55 ui-monospace, SFMono-Regular, Consolas, monospace;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}.page-p-adic-lift-tree .dialog-actions {
  padding: 12px 16px;
  display: flex;
  justify-content: flex-end;
  gap: 8px;
  border-top: 1px solid var(--line);
}.page-p-adic-lift-tree .noscript-message {
  position: fixed;
  inset: auto 12px 12px;
  z-index: 100;
  padding: 12px;
  border-radius: var(--radius-sm);
  color: #2c0810;
  background: var(--red);
  font-weight: 800;
  text-align: center;
}@media (max-width: 1100px) {.page-p-adic-lift-tree .workspace {
    grid-template-columns: minmax(280px, 320px) minmax(0, 1fr);
  }.page-p-adic-lift-tree .result-grid {
    grid-template-columns: 1fr;
  }.page-p-adic-lift-tree .flow-viewport,
.page-p-adic-lift-tree .flow-viewport svg {
    min-height: 280px;
    height: 280px;
  }
}@media (max-width: 820px) {.page-p-adic-lift-tree .padic-prototype-header-model {
    display: none;
  }.page-p-adic-lift-tree .workspace {
    grid-template-columns: 1fr;
  }.page-p-adic-lift-tree .control-panel {
    position: static;
  }
}@media (max-width: 520px) {.page-p-adic-lift-tree .padic-prototype-site-header,
.page-p-adic-lift-tree main {
    width: min(100% - 24px, 1500px);
  }.page-p-adic-lift-tree .padic-prototype-site-header {
    padding-top: 11px;
  }.page-p-adic-lift-tree main {
    padding-top: 12px;
  }.page-p-adic-lift-tree .lab-hero {
    padding: 24px 0 12px;
  }.page-p-adic-lift-tree h1 {
    font-size: clamp(1.42rem, 6.4vw, 1.65rem);
    line-height: 1.08;
  }.page-p-adic-lift-tree .workspace,
.page-p-adic-lift-tree .flow-column,
.page-p-adic-lift-tree .result-grid {
    gap: 12px;
  }.page-p-adic-lift-tree .panel {
    border-radius: 15px;
  }.page-p-adic-lift-tree .control-panel,
.page-p-adic-lift-tree .flow-panel,
.page-p-adic-lift-tree .result-panel,
.page-p-adic-lift-tree .distance-panel {
    padding: 13px;
  }.page-p-adic-lift-tree .panel-heading {
    gap: 8px;
    margin-bottom: 11px;
  }.page-p-adic-lift-tree #controlsForm {
    gap: 9px;
  }.page-p-adic-lift-tree input,
.page-p-adic-lift-tree select {
    min-height: 38px;
  }.page-p-adic-lift-tree .field-meta {
    display: grid;
  }.page-p-adic-lift-tree #polynomialPreview {
    max-width: 100%;
    text-align: left;
  }.page-p-adic-lift-tree .primary-action {
    min-height: 58px;
  }.page-p-adic-lift-tree .run-actions {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }.page-p-adic-lift-tree .flow-heading {
    align-items: flex-start;
  }.page-p-adic-lift-tree .flow-legend {
    max-width: 132px;
    display: grid;
    justify-content: start;
    gap: 4px;
  }.page-p-adic-lift-tree .flow-toolbar {
    display: grid;
    gap: 3px;
  }.page-p-adic-lift-tree .flow-toolbar p:last-child {
    text-align: left;
  }.page-p-adic-lift-tree .flow-viewport {
    min-height: 270px;
    height: 270px;
  }.page-p-adic-lift-tree .flow-viewport svg {
    min-width: 100%;
    max-width: none;
    min-height: 270px;
    height: 270px;
  }.page-p-adic-lift-tree .metric-list {
    grid-template-columns: 1fr;
  }.page-p-adic-lift-tree .distance-panel .panel-heading {
    align-items: flex-start;
  }.page-p-adic-lift-tree .text-button {
    max-width: 132px;
  }.page-p-adic-lift-tree .output-panel {
    display: grid;
  }.page-p-adic-lift-tree .output-actions {
    width: 100%;
    min-width: 0;
    grid-template-columns: 1fr;
  }.page-p-adic-lift-tree .dialog-actions {
    display: grid;
    grid-template-columns: 1fr 1fr;
  }
}@media (max-width: 360px) {.page-p-adic-lift-tree .input-grid,
.page-p-adic-lift-tree .distance-inputs,
.page-p-adic-lift-tree .dialog-actions {
    grid-template-columns: 1fr;
  }.page-p-adic-lift-tree .state-badge,
.page-p-adic-lift-tree .outcome-pill {
    font-size: 0.59rem;
  }
}@media (prefers-reduced-motion: reduce) {.page-p-adic-lift-tree *,
.page-p-adic-lift-tree *::before,
.page-p-adic-lift-tree *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.001ms !important;
    animation-duration: 0.001ms !important;
    animation-iteration-count: 1 !important;
  }
}.page-p-adic-lift-tree .no-root-sieve {
  margin-top: 1rem;
  padding: 1rem;
  border: 1px solid rgba(239, 140, 144, 0.55);
  border-radius: 14px;
  background: rgba(18, 29, 49, 0.94);
}.page-p-adic-lift-tree .no-root-sieve-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1rem;
}.page-p-adic-lift-tree .sieve-kicker {
  margin: 0;
  color: #ef8c90;
  font-size: 0.72rem;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}.page-p-adic-lift-tree .no-root-sieve h3 {
  margin: 0.2rem 0 0;
  color: #f4f7fb;
  font-size: 1.35rem;
}.page-p-adic-lift-tree .sieve-count {
  color: #d9e4f2;
  font-size: 0.78rem;
  font-weight: 700;
  text-align: right;
}.page-p-adic-lift-tree .no-root-proof {
  margin: 0.75rem 0 0;
  color: #c3d0e0;
  font-size: 0.9rem;
  line-height: 1.5;
}.page-p-adic-lift-tree .no-root-sieve-body {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
  gap: 0.65rem;
  margin-top: 0.9rem;
}.page-p-adic-lift-tree .no-root-candidate {
  display: grid;
  min-height: 72px;
  align-content: center;
  gap: 0.2rem;
  padding: 0.7rem 0.8rem;
  border: 1px solid rgba(239, 140, 144, 0.65);
  border-radius: 10px;
  background: #17243a;
  overflow-wrap: anywhere;
}.page-p-adic-lift-tree .no-root-candidate-residue {
  color: #f4f7fb;
  font-size: 1rem;
  font-family: ui-monospace, SFMono-Regular, Consolas, monospace;
}.page-p-adic-lift-tree .no-root-candidate-value {
  color: #c3d0e0;
  font-size: 0.78rem;
  line-height: 1.35;
}.page-p-adic-lift-tree .no-root-candidate-status {
  color: #ef8c90;
  font-size: 0.74rem;
  font-weight: 800;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}@media (max-width: 520px) {.page-p-adic-lift-tree .no-root-sieve {
    padding: 0.8rem;
  }.page-p-adic-lift-tree .no-root-sieve-heading {
    display: grid;
    gap: 0.35rem;
  }.page-p-adic-lift-tree .sieve-count {
    text-align: left;
  }.page-p-adic-lift-tree .no-root-sieve-body {
    grid-template-columns: 1fr;
    max-height: 360px;
    overflow-y: auto;
    padding-right: 0.2rem;
  }.page-p-adic-lift-tree .no-root-candidate {
    min-height: 72px;
    font-size: 0.78rem;
  }
}


/* release token: 20260802-p-adic-lift2 */
.page-p-adic-lift-tree .padic-lift-tree-app { min-width: 0; }
.page-p-adic-lift-tree .primary-action { min-height: 52px; }
.page-p-adic-lift-tree .flow-viewport { overflow: auto; overscroll-behavior: contain; }
@media (max-width: 520px) {
  .page-p-adic-lift-tree #liftOneButton { width: 100%; }
  .page-p-adic-lift-tree .flow-viewport { max-width: 100%; min-height: 300px; }
  .page-p-adic-lift-tree .flow-node rect { min-width: 72px; }
  .page-p-adic-lift-tree .flow-node text { font-size: 12px; }
  .page-p-adic-lift-tree .flow-node .flow-node-detail { font-size: 11px !important; }
}