style.css

.highlight table td {
	padding: 5px
}

.highlight table pre {
	margin: 0
}

.highlight .cm {
	color: #999988;
	font-style: italic
}

.highlight .cp {
	color: #999999;
	font-weight: bold
}

.highlight .c1 {
	color: #999988;
	font-style: italic
}

.highlight .cs {
	color: #999999;
	font-weight: bold;
	font-style: italic
}

.highlight .c,
.highlight .cd {
	color: #999988;
	font-style: italic
}

.highlight .err {
	color: #a61717;
	background-color: #e3d2d2
}

.highlight .gd {
	color: #000000;
	background-color: #ffdddd
}

.highlight .ge {
	color: #000000;
	font-style: italic
}

.highlight .gr {
	color: #aa0000
}

.highlight .gh {
	color: #999999
}

.highlight .gi {
	color: #000000;
	background-color: #ddffdd
}

.highlight .go {
	color: #888888
}

.highlight .gp {
	color: #555555
}

.highlight .gs {
	font-weight: bold
}

.highlight .gu {
	color: #aaaaaa
}

.highlight .gt {
	color: #aa0000
}

.highlight .kc {
	color: #000000;
	font-weight: bold
}

.highlight .kd {
	color: #000000;
	font-weight: bold
}

.highlight .kn {
	color: #000000;
	font-weight: bold
}

.highlight .kp {
	color: #000000;
	font-weight: bold
}

.highlight .kr {
	color: #000000;
	font-weight: bold
}

.highlight .kt {
	color: #445588;
	font-weight: bold
}

.highlight .k,
.highlight .kv {
	color: #000000;
	font-weight: bold
}

.highlight .mf {
	color: #009999
}

.highlight .mh {
	color: #009999
}

.highlight .il {
	color: #009999
}

.highlight .mi {
	color: #009999
}

.highlight .mo {
	color: #009999
}

.highlight .m,
.highlight .mb,
.highlight .mx {
	color: #009999
}

.highlight .sb {
	color: #d14
}

.highlight .sc {
	color: #d14
}

.highlight .sd {
	color: #d14
}

.highlight .s2 {
	color: #d14
}

.highlight .se {
	color: #d14
}

.highlight .sh {
	color: #d14
}

.highlight .si {
	color: #d14
}

.highlight .sx {
	color: #d14
}

.highlight .sr {
	color: #009926
}

.highlight .s1 {
	color: #d14
}

.highlight .ss {
	color: #990073
}

.highlight .s {
	color: #d14
}

.highlight .na {
	color: #008080
}

.highlight .bp {
	color: #999999
}

.highlight .nb {
	color: #0086B3
}

.highlight .nc {
	color: #445588;
	font-weight: bold
}

.highlight .no {
	color: #008080
}

.highlight .nd {
	color: #3c5d5d;
	font-weight: bold
}

.highlight .ni {
	color: #800080
}

.highlight .ne {
	color: #990000;
	font-weight: bold
}

.highlight .nf {
	color: #990000;
	font-weight: bold
}

.highlight .nl {
	color: #990000;
	font-weight: bold
}

.highlight .nn {
	color: #555555
}

.highlight .nt {
	color: #000080
}

.highlight .vc {
	color: #008080
}

.highlight .vg {
	color: #008080
}

.highlight .vi {
	color: #008080
}

.highlight .nv {
	color: #008080
}

.highlight .ow {
	color: #000000;
	font-weight: bold
}

.highlight .o {
	color: #000000;
	font-weight: bold
}

.highlight .w {
	color: #bbbbbb
}

.highlight {
	background-color: #f8f8f8
}

#output-container {
	padding: 0 10px;
	margin: 0
}

#output-container-scroll {
	padding: 0;
	position: relative;
	margin-top: 0;
	overflow: auto;
	max-height: 350px;
}

a.highlighted {
	background-color: #ddd;
	text-decoration: underline
}

a:hover {
	text-decoration: underline;
	cursor: pointer;
}

.query-error {
	text-decoration: underline red wavy;
}

.CodeMirror {
	height: auto;
}

.CodeMirror-scroll {
	max-height: 80vh;
}