1/**
2 * @license
3 * Copyright (C) 2015 Google Inc.
4 *
5 * Licensed under the Apache License, Version 2.0 (the "License");
6 * you may not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
8 *
9 *      http://www.apache.org/licenses/LICENSE-2.0
10 *
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS,
13 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
16 */
17
18/* Pretty printing styles. Used with prettify.js. */
19
20
21/* SPAN elements with the classes below are added by prettyprint. */
22.pln { color: #000 }  /* plain text */
23
24@media screen {
25  .str { color: #080 }  /* string content */
26  .kwd { color: #008 }  /* a keyword */
27  .com { color: #800 }  /* a comment */
28  .typ { color: #606 }  /* a type name */
29  .lit { color: #066 }  /* a literal value */
30  /* punctuation, lisp open bracket, lisp close bracket */
31  .pun, .opn, .clo { color: #660 }
32  .tag { color: #008 }  /* a markup tag name */
33  .atn { color: #606 }  /* a markup attribute name */
34  .atv { color: #080 }  /* a markup attribute value */
35  .dec, .var { color: #606 }  /* a declaration; a variable name */
36  .fun { color: red }  /* a function name */
37}
38
39/* Use higher contrast and text-weight for printable form. */
40@media print, projection {
41  .str { color: #060 }
42  .kwd { color: #006; font-weight: bold }
43  .com { color: #600; font-style: italic }
44  .typ { color: #404; font-weight: bold }
45  .lit { color: #044 }
46  .pun, .opn, .clo { color: #440 }
47  .tag { color: #006; font-weight: bold }
48  .atn { color: #404 }
49  .atv { color: #060 }
50}
51
52/* Put a border around prettyprinted code snippets. */
53pre.prettyprint { padding: 2px; border: 1px solid #888 }
54
55/* Specify class=linenums on a pre to get line numbering */
56ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
57li.L0,
58li.L1,
59li.L2,
60li.L3,
61li.L5,
62li.L6,
63li.L7,
64li.L8 { list-style-type: none }
65/* Alternate shading for lines */
66li.L1,
67li.L3,
68li.L5,
69li.L7,
70li.L9 { background: #eee }
71