.dashed[data-v-8642642d]{border-style:dashed}.katex[data-v-3387c52a]{font-size:1.1em;color:inherit!important}.katex-display[data-v-3387c52a]{padding-bottom:5px;overflow:auto hidden}