.tippy-box[data-theme~=light]{background-color:var(--white, #fff);color:#000;border-radius:8px;box-shadow:0 10px 15px -3px #0000001a,0 4px 6px -2px #0000000d,0 0 0 1px #0000000d}.tooltip-content{display:flex;width:320px;padding:12px 16px 16px;flex-direction:column;align-items:flex-start;gap:8px}.tooltip-content h3{margin:0;font-size:1em;font-weight:700;font-family:Inter}.tooltip-content p{margin:.5em 0;font-size:.875em}.tooltip-footer{display:flex;align-items:center;font-size:.75em;color:#666}.tooltip-icon{margin-right:.5em}.idris-answer .source-link{position:relative;display:inline-block;padding-left:1.5em}.idris-answer .source-link:before{content:attr(data-id);position:absolute;left:0;top:0;display:flex;width:16px;height:16px;padding:4px 0;justify-content:center;align-items:center;gap:10px;border-radius:999px;background:var(--gray-300, #dbdbdb);color:#000;text-align:center;line-height:1em;font-size:.75em}.idris-answer .hidden-article-link{display:none}.idris-answer .source-link:hover:before{background:var(--Magic-magic, #8347d1);color:#fff}.idris-answer{color:#404040;font-family:Inter}.idris-answer p{padding-bottom:13px;line-height:22px}.idris-answer strong{font-weight:600;font-size:13px;line-height:22px;margin-bottom:0}.idris-answer h1{margin-bottom:14px;font-size:19px;font-weight:500;line-height:26px}.idris-answer h2{margin-bottom:12px;font-size:17px;font-weight:500;line-height:26px}.idris-answer h3{margin-bottom:12px;font-size:15px;font-weight:500;line-height:26px}.idris-answer h4{margin-bottom:4px;font-size:13px;font-weight:600;line-height:22px}.idris-answer ul,.idris-answer ol{padding-left:0;margin-bottom:1rem}.idris-answer ul{list-style-type:disc;padding-left:1.5em}.idris-answer ol{list-style-type:none;counter-reset:list-counter}.idris-answer ol>li{counter-increment:list-counter;margin-bottom:12px;position:relative;padding-left:1.5em}.idris-answer ol>li:before{content:counter(list-counter) ". ";font-weight:700;position:absolute;left:0;top:0;line-height:22px}.idris-answer li>ul{margin-top:4px;padding-left:1.5em}.idris-answer blockquote{padding:1rem;margin-top:2rem;margin-bottom:2rem;border-left-width:4px;border-color:#d2d6dc;background-color:#f7fafc}.idris-answer code{font-family:monospace;background-color:#f7fafc;padding:.25rem;border-radius:.25rem}.idris-answer pre{font-family:monospace;background-color:#f7fafc;padding:1rem;border-radius:.25rem;overflow-x:auto}.idris-answer a{color:#404040;text-decoration:underline}.idris-answer a:hover{color:#171717}.idris-answer hr{margin-top:1rem;margin-bottom:1rem;border:0;border-top-width:1px;border-color:#d2d6dc}.idris-answer table{min-width:100%;background-color:#fff;border-collapse:collapse;border-color:#d2d6dc}.idris-answer th{background-color:#f7fafc;font-weight:600;padding:.5rem;text-align:left;border-width:1px;border-color:#d2d6dc}.idris-answer td{padding:.5rem;border-width:1px;border-color:#d2d6dc}.idris-answer .numeric-citation{text-decoration:underline;color:#6b7280;cursor:pointer}.idris-answer .numeric-citation:hover{color:#4f46e5}.idris-answer table{display:block;overflow-x:auto;white-space:nowrap;border-collapse:collapse;width:100%;margin-bottom:1rem}.idris-answer th,.idris-answer td{padding:.5rem;text-align:left}.idris-answer th{background-color:#f3f4f6;font-weight:600}.idris-answer tr:nth-child(2n){background-color:#f9fafb}.idris-answer .citation-link{text-decoration:underline;color:#6b7280;cursor:pointer}.idris-answer .citation-link:hover{color:#4f46e5}.card-shadow.svelte-1qxx95f{box-shadow:0 10px 15px -3px #0000001a,0 4px 6px -2px #0000000d}.gradient-fade.svelte-1ksh3yc{background:linear-gradient(to bottom,transparent,white)!important}.shimmer.svelte-8zh4lr{animation-duration:2.2s;animation-fill-mode:forwards;animation-iteration-count:infinite;animation-name:svelte-8zh4lr-shimmer;animation-timing-function:linear;background:#ededed;background:linear-gradient(to right,#ededed 8%,#f5f5f5 18%,#ededed 33%);background-size:1200px 100%}@keyframes svelte-8zh4lr-shimmer{0%{background-position:-1200px 0}to{background-position:1200px 0}}.shimmer.svelte-1csf4gm{animation-duration:2.2s;animation-fill-mode:forwards;animation-iteration-count:infinite;animation-name:svelte-1csf4gm-shimmer;animation-timing-function:linear;background:#ededed;background:linear-gradient(to right,#ededed 8%,#f5f5f5 18%,#ededed 33%);background-size:1200px 100%}@keyframes svelte-1csf4gm-shimmer{0%{background-position:-1200px 0}to{background-position:1200px 0}}