/**
 * @license
 * Copyright (C) 2015 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

/* Pretty printing styles. Used with prettify.js. */


/* SPAN elements with the classes below are added by prettyprint. */
.pln { color: var(--text-colour); }  /* plain text */
.str { color: var(--green); }  /* string content */
.kwd { color: var(--cyan); font-weight: bold; }  /* a keyword */
.com { color: var(--secondary-colour); font-style: italic; }  /* a comment */
.typ { color: var(--violet); font-weight: bold; }  /* a type name */
.lit { color: var(--cyan); }  /* a literal value */
/* punctuation, lisp open bracket, lisp close bracket */
.pun, .opn, .clo { color: var(--yellow); }
.mkt { color: var(--cyan); font-weight: bold; }  /* a markup tag name */
.atn { color: var(--violet); }  /* a markup attribute name */
.atv { color: var(--green) }  /* a markup attribute value */
.dec, .var { color: var(--green); }  /* a declaration; a variable name */
.fun { color: var(--orange); }  /* a function name */

/* Put a border around prettyprinted code snippets. */
pre.prettyprint { padding: 1.75em; border: 1px solid var(--secondary-colour); }

/* Specify class=linenums on a pre to get line numbering */
@counter-style linenums{
	system: extends decimal-leading-zero;
	suffix: " "
}
ol.linenums{
	margin-top: 0;
	margin-bottom: 0;
	list-style: decimal-leading-zero;
	list-style: linenums;
}
/*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: var(--background-highlight); }*/