.WorkLogArticle_prose__hcH9q .katex{font-size:1.08em}.WorkLogArticle_section__bEtN2{position:relative;margin-top:2.5rem}.WorkLogArticle_prose__hcH9q a.WorkLogArticle_theoryPrompt__HnBWn{color:inherit;font-weight:inherit;text-decoration-line:underline;text-decoration-style:dotted;text-decoration-color:#c9cdc6;text-decoration-thickness:1px;text-underline-offset:5px;transition:color .18s ease,text-decoration-color .18s ease,text-shadow .18s ease}.WorkLogArticle_prose__hcH9q a.WorkLogArticle_theoryPrompt__HnBWn:focus,.WorkLogArticle_prose__hcH9q a.WorkLogArticle_theoryPrompt__HnBWn:hover{color:#0f47b6;text-decoration-color:#0f47b6;text-shadow:0 0 12px rgba(15,71,182,.25)}.WorkLogArticle_prose__hcH9q a.WorkLogArticle_theoryPrompt__HnBWn:focus-visible{outline:1px solid #0f47b6;outline-offset:6px;border-radius:2px}@media (prefers-reduced-motion:reduce){.WorkLogArticle_prose__hcH9q a.WorkLogArticle_theoryPrompt__HnBWn{transition:none}}.WorkLogArticle_prose__hcH9q .katex-display{margin:1.5rem 0;padding:.25rem 0;overflow-x:auto;overflow-y:hidden}.WorkLogArticle_prose__hcH9q .katex-display>.katex{width:max-content;min-width:100%}.WorkLogArticle_prose__hcH9q .katex-display>.katex>.katex-html{padding:.125rem .25rem}