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