details{margin:.35rem 0 1rem}details>summary{display:inline-block;cursor:pointer;font-size:.9rem;font-style:italic;color:darkred;user-select:none;list-style:none}details>summary::-webkit-details-marker{display:none}details>summary::before{content:"▸";display:inline-block;width:1em;font-style:normal;font-size:.85em}details>summary:hover{text-decoration:underline}details[open]{border-left:2px solid #e0d8d2;padding-left:1rem;color:#555;font-size:.95rem}details[open]>summary{margin:0 0 .4rem -1rem}details[open]>summary::before{content:"▾"}details[open]>:not(summary):first-of-type{margin-top:0}details[open]>:last-child{margin-bottom:0}.katex-display{overflow-x:auto;overflow-y:hidden;padding:2px 0}details .katex-display{margin:.5rem 0}