pre span.fg-black { color: rgb(0, 0, 0) }
pre span.fg-red { color: rgb(205, 0, 0) }
pre span.fg-green { color: rgb(0, 205, 0) }
pre span.fg-yellow { color: rgb(205, 205, 0) }
pre span.fg-blue { color: rgb(0, 0, 238) }
pre span.fg-magenta { color: rgb(205, 0, 205) }
pre span.fg-cyan { color: rgb(0, 205, 205) }
pre span.fg-white { color: rgb(229, 229, 229) }
pre span.fg-bright-black { color: rgb(127, 127, 127) }
pre span.fg-bright-red { color: rgb(255, 0, 0) }
pre span.fg-bright-green { color: rgb(0, 255, 0) }
pre span.fg-bright-yellow { color: rgb(255, 255, 0) }
pre span.fg-bright-blue { color: rgb(92, 92, 255) }
pre span.fg-bright-magenta { color: rgb(255, 0, 255) }
pre span.fg-bright-cyan { color: rgb(0, 255, 255) }
pre span.fg-bright-white { color: rgb(255, 255, 255) }
pre span.bg-black { background: rgb(0, 0, 0) }
pre span.bg-red { background: rgb(205, 0, 0) }
pre span.bg-green { background: rgb(0, 205, 0) }
pre span.bg-yellow { background: rgb(205, 205, 0) }
pre span.bg-blue { background: rgb(0, 0, 238) }
pre span.bg-magenta { background: rgb(205, 0, 205) }
pre span.bg-cyan { background: rgb(0, 205, 205) }
pre span.bg-white { background: rgb(229, 229, 229) }
pre span.bg-bright-black { background: rgb(127, 127, 127) }
pre span.bg-bright-red { background: rgb(255, 0, 0) }
pre span.bg-bright-green { background: rgb(0, 255, 0) }
pre span.bg-bright-yellow { background: rgb(255, 255, 0) }
pre span.bg-bright-blue { background: rgb(92, 92, 255) }
pre span.bg-bright-magenta { background: rgb(255, 0, 255) }
pre span.bg-bright-cyan { background: rgb(0, 255, 255) }
pre span.bg-bright-white { background: rgb(255, 255, 255) }
.fg-default { color: rgb(0, 0, 0) }
.bg-default { background: rgb(255, 255, 255) }
pre span.bold { font-weight: bold }
pre span.italic { font-weight: italic }
pre span.underline { text-decoration: underline }