/* GitHub Theme */
.prettyprint {
  font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace;
  font-size: 1.4rem;
  padding: 2.5rem 3rem;
  -webkit-font-smoothing: antialiased; 
}

/* @media (prefers-color-scheme: dark), */

/* Pretty printing styles. Used with prettify.js. */
/* Vim sunburst theme by David Leibovic */

pre .str, code .str { color: #65B042; } /* string  - green */
pre .kwd, code .kwd { color: #E28964; } /* keyword - dark pink */
pre .com, code .com { color: #777; font-style: italic; } /* comment - gray */
pre .typ, code .typ { color: #89bdff; } /* type - light blue */
pre .lit, code .lit { color: #3387CC; } /* literal - blue */
pre .pun, code .pun { color: #bbb; } /* punctuation - white */
pre .pln, code .pln { color: #bbb; } /* plaintext - white */
pre .tag, code .tag { color: #89bdff; } /* html/xml tag    - light blue */
pre .atn, code .atn { color: #bdb76b; } /* html/xml attribute name  - khaki */
pre .atv, code .atv { color: #65B042; } /* html/xml attribute value - green */
pre .dec, code .dec { color: #3387CC; } /* decimal - blue */

pre.prettyprint, code.prettyprint {
	background-color: #111;
	border-radius: 8px;
}

pre.prettyprint {
	width: 95%;
	margin: 1em auto;
	padding: 1em;
	white-space: pre-wrap;
}


	/* Specify class=linenums on a pre to get line numbering */
	ol.linenums { margin-top: 0; margin-bottom: 0; color: #AEAEAE; } /* IE indents via margin-left */
	li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8 { list-style-type: none }
	/* Alternate shading for lines */
	li.L1,li.L3,li.L5,li.L7,li.L9 { }

	@media print {
		pre .str, code .str { color: #060; }
		pre .kwd, code .kwd { color: #006; font-weight: bold; }
		pre .com, code .com { color: #600; font-style: italic; }
		pre .typ, code .typ { color: #404; font-weight: bold; }
		pre .lit, code .lit { color: #044; }
		pre .pun, code .pun { color: #440; }
		pre .pln, code .pln { color: #000; }
		pre .tag, code .tag { color: #006; font-weight: bold; }
		pre .atn, code .atn { color: #404; }
		pre .atv, code .atv { color: #060; }
	}
}