pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}.hljs{color:#383a42;background:#fafafa}.hljs-comment,.hljs-quote{color:#a0a1a7;font-style:italic}.hljs-doctag,.hljs-formula,.hljs-keyword{color:#a626a4}.hljs-deletion,.hljs-name,.hljs-section,.hljs-selector-tag,.hljs-subst{color:#e45649}.hljs-literal{color:#0184bb}.hljs-addition,.hljs-attribute,.hljs-meta .hljs-string,.hljs-regexp,.hljs-string{color:#50a14f}.hljs-attr,.hljs-number,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-pseudo,.hljs-template-variable,.hljs-type,.hljs-variable{color:#986801}.hljs-bullet,.hljs-link,.hljs-meta,.hljs-selector-id,.hljs-symbol,.hljs-title{color:#4078f2}.hljs-built_in,.hljs-class .hljs-title,.hljs-title.class_{color:#c18401}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:700}.hljs-link{text-decoration:underline}.hljs{background:transparent;padding:0;border-radius:0}.prose [data-slot=tabs]{margin-top:1.5rem;margin-bottom:1.5rem;width:100%}.prose img[src="/feature_score.svg"],.prose img[src="/final_score.svg"],.prose img[src^="/latex/"]{filter:invert(1) brightness(.1);margin:1.5rem auto;display:block;width:auto;max-width:none;height:auto;transform:scale(1.1);transform-origin:center center;box-shadow:none!important;border-radius:0!important}.prose pre code{background:transparent!important;padding:0!important;border-radius:0!important;font-family:BoxDrawingMono,var(--font-mono),Menlo,ui-monospace,SFMono-Regular,Monaco,Consolas,"Liberation Mono","DejaVu Sans Mono","Courier New",monospace!important;font-variant-ligatures:none!important;font-feature-settings:"liga" 0,"calt" 0!important}.prose :not(pre)>code{font-family:BoxDrawingMono,var(--font-mono),Menlo,ui-monospace,SFMono-Regular,Monaco,Consolas,"Liberation Mono","DejaVu Sans Mono","Courier New",monospace!important}