/* © Christian Gottschall. Shared Logik/Hilbert appearance, 2026. */
.hidden { display: none !important; }
.control-pane { align-self: start; }
.card-heading { display:flex; flex-wrap:wrap; align-items:baseline; justify-content:space-between; gap:12px; margin-bottom:12px; }
.card-heading h2 { margin:0; }
#axiomList { font-size:.88rem; }
#axiomList option { padding:7px 4px; }
.formula-preview { font:1.1rem/1.6 'Cambria Math',Georgia,serif; overflow-wrap:anywhere; margin-bottom:0; }
#substitutionArea:empty { display:none; }
#substitutionArea input { margin-bottom:12px; }
#derivationList { height:340px; padding:0; font:1.13rem/1.6 'Cambria Math',Georgia,serif; border:1px solid var(--line); }
#derivationList option { padding:8px; border-bottom:1px solid var(--line); }
#derivationList option.assertion { font-weight:650; }
#definitionCandidates { font-family:'Cambria Math',Georgia,serif; }
.toggle-row { display:flex; align-items:center; gap:10px; margin:0; }
.toggle-row input { width:18px; height:18px; margin:0; accent-color:var(--green); }
.setup-grid { display:grid; grid-template-columns:1fr 1fr; gap:14px; margin:12px 0; }
.setup-grid textarea { min-height:230px; font:1rem/1.6 ui-monospace,monospace; margin-top:8px; }
@media(min-width:851px) { #derivationList { height:280px; } }
@media(max-width:850px) { .setup-grid { grid-template-columns:1fr; } #derivationList { height:360px; } }

#message { white-space: pre-wrap; overflow-wrap: anywhere; }

@media print { .donation-form { display:block; margin:12px 0; padding:0; text-align:center; } .donation-form .donation-button, .donation-form button, .donation-form input { display:none!important; } .donation-form::before { content:url("donation-qr.jpg"); display:inline-block; width:150px; height:150px; object-fit:contain; } }