.highlight{background: #f8f8f8; overflow:auto;width:auto;border:solid gray;border-width:.1em .1em .1em .1em;padding:0em .5em;border-radius: 4px;}
.k{color: #338822; font-weight: bold;}
.kn{color: #338822; font-weight: bold;}
.mi{color: #000000;}
.o{color: #000000;}
.ow{color: #BA22FF;  font-weight: bold;}
.nb{color: #338822;}
.n{color: #000000;}
.s{color: #cc2222;}
.se{color: #cc2222; font-weight: bold;}
.si{color: #C06688; font-weight: bold;}
.nn{color: #4D00FF; font-weight: bold;}

.container {
  max-width: 500rem;
  padding-left: 5rem;
  padding-right: 1rem;
}

/* Ansi colors may be used in ipython notebooks */

.ansi-black-fg { color: rgb(0,0,0); }
.ansi-red-fg { color: rgb(205,0,0); }
.ansi-green-fg { color: rgb(0,205,0); }
.ansi-yellow-fg { color: rgb(205,205,0); }
.ansi-blue-fg { color: rgb(0,0,238); }
.ansi-magenta-fg { color: rgb(205,0,205); }
.ansi-cyan-fg { color: rgb(0,205,205); }
.ansi-white-fg { color: rgb(229,229,229); }

.ansi-bright-black-fg { color: rgb(127,127,127); }
.ansi-bright-red-fg { color: rgb(255,0,0); }
.ansi-bright-green-fg { color: rgb(0,255,0); }
.ansi-bright-yellow-fg { color: rgb(255,255,0); }
.ansi-bright-blue-fg { color: rgb(92,92,255); }
.ansi-bright-magenta-fg { color: rgb(255,0,255); }
.ansi-bright-cyan-fg { color: rgb(0,255,255); }
.ansi-bright-white-fg { color: rgb(255,255,255); }

.ansi-black-bg { /* black bg = transparent */ }
.ansi-red-bg { background-color: rgb(205,0,0); }
.ansi-green-bg { background-color: rgb(0,205,0);; }
.ansi-yellow-bg { background-color: rgb(205,205,0); }
.ansi-blue-bg { background-color: rgb(0,0,238); }
.ansi-magenta-bg { background-color: rgb(205,0,205); }
.ansi-cyan-bg { background-color: rgb(0,205,205); }
.ansi-white-bg { background-color: rgba(255,255,255,0.7); /* alpha baby!*/ }

.ansi-bright-black-bg { background-color: rgb(127,127,127); }
.ansi-bright-red-bg { background-color: rgb(255,0,0); }
.ansi-bright-green-bg { background-color:  rgb(0,255,0); }
.ansi-bright-yellow-bg { background-color: rgb(255,255,0); }
.ansi-bright-blue-bg { background-color: rgb(92,92,255); }
.ansi-bright-magenta-bg { background-color: rgb(255,0,255); }
.ansi-bright-cyan-bg { background-color: rgb(0,255,255); }
.ansi-bright-white-bg { background-color: rgb(255,255,255); }