/* Keep the proven editor inside the learning shell. */
body{font-family:var(--font)}.topbar{background:transparent;border-bottom:1px solid var(--line);font-weight:400}.main-content{max-width:1370px}.sidebar .brand{color:var(--ink)}header nav a{color:inherit}.proof-wrapper input,.proof-wrapper select{font-size:13px;padding:10px}.proof-wrapper button{font-size:12px;padding:9px 12px;background:var(--green);border-color:var(--green)}.proof-wrapper button.btn-secondary{background:transparent;color:var(--ink);border-color:var(--line)}.proof-wrapper .sym-btn{background:transparent;color:var(--ink);border-color:var(--line);padding:6px 9px}.proof-wrapper .sym-btn:hover{background:#f6dce7}#symbol-toolbar,#symbol-toolbar-deriv{background:#fcf0f4;border-color:var(--line);padding:8px;gap:5px;border-radius:7px}#symbol-toolbar-deriv{margin-top:18px}#symbol-toolbar-deriv .toolbar-label{font-size:8px}#lines-container{min-height:160px;background:#fffdfb;border:1px solid var(--line);border-radius:7px;margin:18px 0;padding:13px 0}.deriv-line{font-family:var(--font);font-size:17px;min-height:37px}.line-formula{overflow-wrap:anywhere}#command-bar{display:flex;align-items:center;flex-wrap:wrap;background:#fff0f5;border:1px solid #dbadc1;padding:12px;border-radius:7px;margin:14px 0 3px}#command-input{flex:1;min-width:180px;background:white;font-size:15px;padding:11px 12px}#command-hint{order:5;flex-basis:100%;font-size:12px;min-height:0}#command-hint:empty{display:none}#line-controls{display:flex;flex-wrap:wrap;gap:8px;padding:15px 0;border:0;background:none}#line-controls input{min-width:0}#formula-input{flex:1;min-width:150px}#rule-input,#cited-input{width:90px}#action-select{width:100%}#rule-panel{background:none;border:0;padding:12px 0}#rule-list{grid-template-columns:1fr}#rule-list .rule-row{font-size:12px}#rule-list .rule-disabled{display:none}#validation-bar{margin:0;display:flex;justify-content:flex-start;gap:10px;flex-wrap:wrap;border:0;padding:0}#validation-bar button{padding:10px 15px}.problem-header{background:#fbedf3;border-color:#e9c7d6;margin-bottom:18px}.problem-header-formulas{gap:8px 15px}.problem-header-value{font-size:18px}.problem-header-label{font-size:10px}.motivation-blurb{font-size:13px;line-height:1.6;color:var(--muted);border:0;background:none;padding:0;margin:0 0 17px;font-style:normal}#global-message{font-family:var(--font);font-size:13px;margin:15px 0;white-space:pre-wrap}.derivation-footer{display:none}.setup-grid{grid-template-columns:90px minmax(0,1fr);gap:12px}.setup-grid label{font-size:13px}.tutorial-panel{margin-top:20px;background:#fbedf3;color:var(--ink);border-color:#d58aa8}.tutorial-panel code{font-size:13px}.tutorial-panel .tutorial-title{font-family:var(--serif)}.proof-mode-status~.exercise-layout .proof-wrapper{border-top-color:#839db8}.no-help .motivation-blurb,.no-help #rule-panel,.no-help #proof-quickstart{display:none}.no-help #command-hint.hint-ok{display:none}.no-help .sidebar a[href="/help"],.no-help .sidebar a[href*="tutorial"]{display:none}.no-help .proof-wrapper{background:#fcfdff}.no-help #lines-container{background:repeating-linear-gradient(#fcfdff,#fcfdff 36px,#e6edf6 37px)}
@media(max-width:600px){.deriv-line{font-size:15px;grid-template-columns:26px 40px minmax(0,1fr) 70px 18px;padding-left:7px;padding-right:7px;gap:4px}.line-just{font-size:10px}#command-bar .toolbar-label{display:none}#command-input{min-width:150px}.proof-wrapper button{font-size:11px}.problem-header{display:block}.problem-header-actions{margin-top:12px}.problem-header-formulas{grid-template-columns:1fr}.problem-header-label{margin-top:5px}.setup-grid{grid-template-columns:1fr}.exercise-heading .eyebrow{font-size:9px}}

.no-help #command-hint:not(.hint-error){display:none}

.application-context{margin:0 0 24px;padding:22px 26px;background:var(--paper,#fff);border:1px solid var(--line);border-radius:14px}.application-context>p{font-size:17px;line-height:1.65;max-width:80ch;margin:12px 0}.application-context details{margin:12px 0}.application-context summary{cursor:pointer;font-size:14px;color:var(--accent,#a12652)}.application-context li{margin:10px 0;line-height:1.5}.application-context code{display:block;margin-top:4px;color:var(--ink);white-space:normal;overflow-wrap:anywhere}.application-symbols{display:grid;grid-template-columns:max-content 1fr;gap:6px 16px;font-size:14px}.application-symbols dt{font-weight:700}.application-symbols dd{margin:0}.bluebook-ui .application-context{border-color:#b2c5d8;background:#f8fbff}@media(max-width:600px){.application-context{padding:18px}.application-context>p{font-size:16px}}