/* Generated by render_html.py from CODE_COLORS in maned_md.py.
   Do not edit - edit the palette there and rebuild. */
.t-comment { color: #8FE388; }
.t-string { color: #FFD166; }
.t-number { color: #FF8FAB; }
.t-directive { color: #C77DFF; }
.t-keyword { color: #55DDE0; }
.t-builtin { color: #FF9F43; }
.t-operator { color: #7AB8FF; }
.t-plain { color: #FFF8EE; }