/* Isbot ustaxonasi, scoped to the retained academic app interface. */
.ws{min-width:0;max-width:100%;padding-bottom:12px}
.ws *{box-sizing:border-box}
.ws .card{min-width:0;max-width:100%}
.ws .card+.card,.ws>.callout{margin-top:18px}
.ws h1,.ws h2,.ws h3{overflow-wrap:anywhere}
.ws h2{font-size:24px;line-height:1.3;letter-spacing:-.025em;margin:0 0 14px}
.ws h3{font-size:18px;line-height:1.4;margin:0 0 10px}
.ws .prose{min-width:0;max-width:100%;overflow-x:auto;overflow-y:hidden}
.ws details .prose{padding:0}
.ws .prose>:last-child{margin-bottom:0}
.ws .prose .katex{position:relative}
.ws .katex-display{overflow-x:auto;overflow-y:hidden;max-width:100%;padding:3px 0 6px}
.ws .prose img,.ws .prose svg{max-width:100%;height:auto}
.ws .prose table{display:block;max-width:100%;overflow-x:auto}
.ws .btn{max-width:100%}
.ws [hidden]{display:none!important}
.ws-stats{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin:24px 0}
.ws-stat{display:flex;flex-direction:column;min-width:0;padding:20px;border:1px solid var(--line);border-radius:14px;background:var(--card)}
.ws-stat b{font-family:Georgia,"Times New Roman",serif;font-size:34px;font-weight:500;color:var(--teal);line-height:1.2}
.ws-stat span{font-size:12px;color:var(--muted);margin-top:7px}
.ws-tabs{display:flex;flex-wrap:wrap;gap:10px;margin:24px 0 18px}
.ws-tabs .btn{flex:1;min-width:180px}
.ws-filter-card{padding:22px}
.ws-search{margin-bottom:14px}
.ws-filter-card label,.ws-search label{display:block;font-size:12px;font-weight:650;color:var(--muted)}
.ws-filter-card input,.ws-filter-card select{display:block;width:100%;min-width:0;margin-top:6px;min-height:45px;padding:11px 12px;border:1px solid var(--line);border-radius:9px;color:var(--ink);background:var(--card);font:inherit;font-size:14px}
.ws-filter-card input:focus,.ws-filter-card select:focus,.ws textarea:focus{outline:2px solid var(--teal);outline-offset:2px}
.ws-filter-row{display:grid;grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:12px}
.ws-list-heading{display:flex;align-items:baseline;justify-content:space-between;gap:14px;margin:30px 0 16px}
.ws-list-heading h2{margin:0}
.ws-list-heading>span{flex-shrink:0}
.ws-card-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}
.ws .ws-catalog-card{display:flex;flex-direction:column;gap:10px;margin:0;padding:24px}
.ws-catalog-card h3{margin:1px 0 0;font-size:21px;letter-spacing:-.02em}
.ws-catalog-card p{margin:0}
.ws-card-meta{display:flex;align-items:center;justify-content:space-between;gap:10px}
.ws-card-meta .eyebrow{font-size:10px;letter-spacing:.1em}
.ws-pill{display:inline-flex;align-items:center;max-width:100%;padding:4px 8px;border:1px solid var(--line);border-radius:6px;color:var(--muted);font-size:10px;line-height:1.4;white-space:nowrap}
.ws-pill-done{background:var(--light);border-color:var(--teal);color:var(--teal)}
.ws-card-progress{display:flex;flex-wrap:wrap;justify-content:space-between;gap:6px;font-size:11px;color:var(--muted);margin-top:auto;padding-top:10px}
.ws-catalog-card .progress-fill{margin:0 0 6px}
.ws-catalog-card>.btn{margin-top:auto;align-self:flex-start}
.ws-source-status{margin-top:auto!important;padding-top:14px;color:var(--teal)}
.ws-source-intro{max-width:760px}
.ws-more{display:flex;flex-direction:column;align-items:center;margin-top:24px}
.ws-more>p{margin:10px 0 0}
.ws .ws-empty{grid-column:1/-1;padding:30px}
.ws-empty h3{font-size:23px}
.ws-empty p{max-width:750px}
.ws-lesson-progress{padding:22px 26px}
.ws-progress-top{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:8px}
.ws-lesson-progress .progress-fill{margin:14px 0 10px}
.ws-lesson-progress p{margin:0}
.ws-complete-message{color:var(--teal);font-weight:600}
.ws-jump-links{display:flex;flex-wrap:wrap;gap:6px;margin-top:12px}
.ws-jump-links .btn{min-height:34px;padding:6px 10px;font-size:11px}
.ws details>summary{font-weight:650;cursor:pointer;line-height:1.5;overflow-wrap:anywhere}
.ws details[open]>summary{margin-bottom:20px}
.ws-definitions dl{margin:0}
.ws-definitions dt{font-weight:650;font-size:14px;color:var(--teal);margin-top:20px}
.ws-definitions dt:first-child{margin-top:0}
.ws-definitions dd{margin:5px 0 0}
.ws-theorem{border-left:3px solid var(--teal);background:var(--light)}
.ws-theorem>.eyebrow{display:block;margin-bottom:13px}
.ws-activity{scroll-margin-top:25px}
.ws-activity-heading{display:flex;align-items:flex-start;gap:15px;margin-bottom:16px}
.ws-activity-heading h2{margin:5px 0 0}
.ws-activity-number{display:flex;align-items:center;justify-content:center;flex:0 0 38px;height:38px;border-radius:50%;border:1px solid var(--teal);font-family:Georgia,"Times New Roman",serif;font-size:22px;color:var(--teal)}
.ws-order-list{list-style:none;padding:0;margin:24px 0}
.ws-proof-step{border:1px solid var(--line);border-radius:12px;padding:18px;margin-top:10px;background:var(--card);min-width:0}
.ws-step-top{display:flex;align-items:center;gap:9px;margin-bottom:13px}
.ws-step-number{display:inline-flex;align-items:center;justify-content:center;flex:0 0 25px;height:25px;border-radius:6px;background:var(--light);color:var(--teal);font-size:11px;font-weight:700}
.ws-step-top>.small{font-size:11px}
.ws-step-controls{display:flex;gap:6px;margin-left:auto}
.ws-move{display:inline-flex;align-items:center;justify-content:center;width:35px;height:35px;min-width:35px;padding:0;border:1px solid var(--line);border-radius:8px;background:var(--paper);color:var(--teal);font:inherit;font-size:18px;cursor:pointer}
.ws-move:disabled{opacity:.28;cursor:default}
.ws-move:focus-visible,.ws-option:focus-within,.ws .btn:focus-visible{outline:2px solid var(--teal);outline-offset:3px}
.ws-proof-step .prose{font-size:calc(var(--reading-size) - 1px)}
.ws-options{display:flex;flex-direction:column;gap:10px;min-width:0;border:0;padding:0;margin:22px 0}
.ws-option{display:flex;align-items:flex-start;gap:10px;min-width:0;padding:15px;border:1px solid var(--line);border-radius:11px;cursor:pointer;background:var(--card)}
.ws-option-selected{border-color:var(--teal);background:var(--light);box-shadow:inset 3px 0 var(--teal)}
.ws-option input{accent-color:var(--teal);flex:0 0 17px;width:17px;height:17px;margin:6px 0 0}
.ws-option-letter{font-size:11px;color:var(--muted);font-weight:600;margin-top:7px}
.ws-option>.prose{flex:1;font-size:calc(var(--reading-size) - 1px)}
.ws-task-prompt{margin-top:20px}
.ws-flawed-argument{border-left:2px solid var(--gold);background:var(--paper);padding:18px;margin:20px 0}
.ws-flawed-argument>b{font-family:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",Arial,sans-serif;font-size:12px;display:block;margin-bottom:12px;color:var(--muted)}
.ws-feedback-slot:empty{display:none}
.ws-feedback{border-left:3px solid var(--teal);background:var(--light);padding:18px;margin-top:20px;border-radius:0 9px 9px 0}
.ws-feedback>p{font-size:13px;margin:7px 0 13px}
.ws-feedback>.prose{font-size:calc(var(--reading-size) - 1px)}
.ws-feedback>details{margin-top:15px}
.ws-feedback>details>summary{font-size:13px}
.ws-feedback-correct>b{color:var(--teal)}
.ws-feedback-retry{border-left-color:var(--gold);background:var(--paper)}
.ws-feedback-retry>b{color:var(--ink)}
.ws-hints h2{margin-top:6px}
.ws-hint{border-top:1px solid var(--line);padding:18px 0}
.ws-hint>b{font-size:12px;color:var(--teal)}
.ws-hint>.prose{margin-top:9px}
.ws-hints .btn:disabled{opacity:.55;cursor:default}
.ws-complete-proof{padding-left:24px;margin:22px 0 0}
.ws-complete-proof>li{padding-left:8px;margin-bottom:26px}
.ws-complete-proof>li::marker{font-size:13px;font-weight:700;color:var(--teal)}
.ws-step-reason{border-left:2px solid var(--line);padding:8px 0 8px 15px;margin-top:13px;font-size:calc(var(--reading-size) - 2px)!important;color:var(--muted)}
.ws-step-reason>b{color:var(--teal)}
.ws-conditions>.eyebrow,.ws-application>.eyebrow{display:block;margin-bottom:8px}
.ws-condition{border-top:1px solid var(--line);padding-top:22px;margin-top:22px}
.ws-condition-label{font-family:Georgia,"Times New Roman",serif;font-size:var(--reading-size);font-weight:700;margin-bottom:12px}
.ws-counterexample{background:var(--paper);border-radius:9px;padding:17px;margin-top:18px}
.ws-counterexample>b{color:var(--teal)}
.ws-application>details{margin-top:22px;border-top:1px solid var(--line);padding-top:20px}
.ws-section-heading{display:flex;flex-wrap:wrap;align-items:flex-start;justify-content:space-between;gap:12px}
.ws-section-heading h2{margin-top:6px}
.ws-editor-label{display:block;font-size:13px;color:var(--muted);margin:12px 0 9px}
.ws textarea{width:100%;min-width:0;max-width:100%;min-height:210px;resize:vertical;border:1px solid var(--line);border-radius:11px;background:var(--paper);color:var(--ink);padding:15px;font-family:"SFMono-Regular",Consolas,"Liberation Mono",monospace;font-size:14px;line-height:1.7;tab-size:2}
.ws-note-actions{margin:15px 0;gap:10px}
.ws-note-preview{border:1px solid var(--line);background:var(--card);padding:22px;border-radius:11px;margin:20px 0}
.ws-note-boundary{border-top:1px solid var(--line);padding-top:16px;margin-bottom:0;font-size:11px}
.ws-save-failed{color:var(--danger)!important}
.ws-confirm{border:1px solid var(--line);background:var(--paper);border-radius:9px;padding:15px;margin:15px 0}
.ws-confirm p{font-size:13px;margin:0 0 12px}
.ws-confirm .actions{margin:0}
.ws-reset{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:14px}
.ws-reset>div:first-child{flex:1;min-width:190px}
.ws-reset h3{font-size:17px}
.ws-reset p{margin:0;max-width:640px}
#wsResetConfirmation{flex-basis:100%;min-width:0}
#wsResetConfirmation:empty{display:none}
.ws-source-result>.eyebrow{display:block;margin-bottom:15px}
.ws-source-result .theorem,.ws-source-result .proposition,.ws-source-result .lemma,.ws-source-result .corollary{margin:0}
.ws-source-proof .proof{margin:0}
.ws-source-reading>p{margin:10px 0 0}
.ws-sr-only{position:absolute!important;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}
.ws-summary{display:flex;align-items:center;justify-content:space-between;gap:20px}
.ws-summary h3{margin-top:5px}
.ws-summary p{margin-bottom:0}
.ws-home-card>.btn{margin-top:6px}
@media(max-width:760px){
  .ws h2{font-size:21px}
  .ws h3{font-size:18px}
  .ws .card{padding:21px}
  .ws-card-grid{grid-template-columns:minmax(0,1fr)}
  .ws-stats{gap:8px;margin:20px 0}
  .ws-stat{padding:15px 11px}
  .ws-stat b{font-size:28px}
  .ws-stat span{font-size:10px;line-height:1.5}
  .ws-filter-row{grid-template-columns:repeat(2,minmax(0,1fr))}
  .ws-filter-row>label:first-child{grid-column:1/-1}
  .ws-tabs{gap:8px}
  .ws-tabs .btn{min-width:0;flex-basis:45%;font-size:11px;padding:10px 9px}
  .ws-list-heading{align-items:flex-start;flex-direction:column;gap:6px;margin-top:25px}
  .ws-list-heading h2{font-size:21px}
  .ws .ws-catalog-card{padding:21px}
  .ws-catalog-card h3{font-size:21px}
  .ws-card-progress{font-size:10px}
  .ws-catalog-card>.btn{width:100%}
  .ws-activity-heading{gap:11px}
  .ws-activity-number{flex-basis:31px;height:31px;font-size:19px}
  .ws-activity-heading .eyebrow{font-size:9px;letter-spacing:.08em}
  .ws-activity-heading h2{font-size:20px}
  .ws-proof-step{padding:14px}
  .ws-step-top{gap:7px}
  .ws-step-controls{gap:4px}
  .ws-move{width:34px;height:34px;min-width:34px}
  .ws-option{padding:13px 11px;gap:8px}
  .ws-option input{flex-basis:16px;width:16px}
  .ws-flawed-argument{padding:15px}
  .ws-feedback{padding:15px}
  .ws-complete-proof{padding-left:19px}
  .ws-complete-proof>li{padding-left:4px}
  .ws-counterexample{padding:14px}
  .ws-note-preview{padding:15px}
  .ws textarea{font-size:13px;padding:13px;min-height:210px}
  .ws-note-actions .btn{width:100%;margin:0}
  .ws .reader-toolbar{gap:8px}
  .ws .reader-toolbar>.tag{order:-1;flex-basis:100%;text-align:center}
  .ws .reader-toolbar>.btn{flex:1;padding:9px 10px;font-size:11px}
  .ws .ws-empty{padding:23px}
  .ws-summary{display:block}
  .ws-summary>.btn{margin-top:15px}
}
@media(prefers-reduced-motion:reduce){
  .ws *{scroll-behavior:auto!important}
}