.katex .rand-icon{opacity:.9;vertical-align:middle;margin-left:.15em;font-family:Segoe UI Emoji,Apple Color Emoji,sans-serif;font-size:.9em}.katex .rand-icon-ref{opacity:.7;vertical-align:middle;margin-left:.15em;font-family:Segoe UI Emoji,Apple Color Emoji,Noto Color Emoji,Twemoji Mozilla,EmojiOne Color,sans-serif;font-size:.7em}.katex .rand-ref{opacity:.9;border-bottom:1px dotted}.katex .eq-ref{opacity:.95;border-bottom:1px dashed}.katex .eq-ref-icon,.katex .eq-result-icon{opacity:.8;vertical-align:middle;margin-left:.15em;font-family:Segoe UI Emoji,Apple Color Emoji,Noto Color Emoji,Twemoji Mozilla,EmojiOne Color,sans-serif;font-size:.75em}