.footnote-backref {
   visibility: hidden;
}

.footnote-backref:after {
   content: "^";
   visibility: visible;
   margin-left: -.8em;
   vertical-align: middle;
   line-height: .5em;
   font-size: 1rem;
   overflow: visible;
}

.number-color {
   color: #2aa198;
   font-weight: 600;
   font-family:Consolas,Monaco,Menlo,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace;
   font-size: 90%;
   /* white-space: nowrap; use \nobreak in KaTeX where needed */
}

.number-color > strong {
   color: #c7254e;
   font-weight: 900;
}

.variable-color {
   color: #268bd2;
   /* font-weight: 600;  */
   font-family:Consolas,Monaco,Menlo,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace;
   font-size: 90%;
   white-space: nowrap;
   word-spacing: -2px;
}