/* Edited by Roman on 2023-03-04: 16:03 */

/* SPAN elements with the classes below are added by prettyprint. */
 pre .pln {color: var(--GRAY-40);} /* plain text */

@media screen  {
 pre .str {color: var(--html-content);} /* string content */
 pre .kwd {color: var(--html-attr);} /* a keyword */
 pre .com {color: var(--html-comment); font-style: italic;} /* a comment */
 pre .typ {color: var(--html-statement);} /* a type name */
 pre .lit {color: var(--html-value);} /* a literal value */
 /* punctuation, lisp open bracket, lisp close bracket */
 pre .clo,
 pre .opn,
 pre .pun {color: var(--html-is);}
 pre .tag {color: var(--html-attr);} /* a markup tag name */
 pre .atn {color: var(--html-statement);} /* a markup attribute name */
 pre .atv {color: var(--html-value);} /* a markup attribute value */
 pre .dec,
 pre .var {color: #606;} /* a declaration; a variable name */
 pre .fun {color: red;} /* a function name */
 }

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

/* Put a border around prettyprinted code snippets. */
pre.prettyprint  {
	padding: 2px;
	border: 1px solid #888;
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums { /* IE indents via margin-left */
	margin-top: 0;
	margin-bottom: 0;
}

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 {
	background: #eee;
}