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-black.faint { color: rgb(0, 0, 0) }
pre span.fg-red.faint { color: rgb(136, 0, 0) }
pre span.fg-green.faint { color: rgb(0, 136, 0) }
pre span.fg-yellow.faint { color: rgb(136, 136, 0) }
pre span.fg-blue.faint { color: rgb(0, 0, 158) }
pre span.fg-magenta.faint { color: rgb(136, 0, 136) }
pre span.fg-cyan.faint { color: rgb(0, 136, 136) }
pre span.fg-white.faint { color: rgb(152, 152, 152) }
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.fg-bright-black.faint { color: rgb(84, 84, 84) }
pre span.fg-bright-red.faint { color: rgb(170, 0, 0) }
pre span.fg-bright-green.faint { color: rgb(0, 170, 0) }
pre span.fg-bright-yellow.faint { color: rgb(170, 170, 0) }
pre span.fg-bright-blue.faint { color: rgb(61, 61, 170) }
pre span.fg-bright-magenta.faint { color: rgb(170, 0, 170) }
pre span.fg-bright-cyan.faint { color: rgb(0, 170, 170) }
pre span.fg-bright-white.faint { color: rgb(170, 170, 170) }
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) }
.fg-reversed-default { color: rgb(255, 255, 255) }
.bg-reversed-default { background: rgb(0, 0, 0) }
pre span.bold { font-weight: bold }
pre span.italic { font-style: italic }
pre span.underline { text-decoration: underline }
pre span.double-underline { text-decoration: underline double; }