annotate presen/scripts/prettify.css @ 10:86f6bb9be40a

add
author mir3636
date Wed, 15 Feb 2017 18:20:07 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
mir3636
parents:
diff changeset
1 /* CSS from google html5slides(https://code.google.com/p/html5slides/) */
mir3636
parents:
diff changeset
2
mir3636
parents:
diff changeset
3 pre > code {
mir3636
parents:
diff changeset
4 font-family: 'Droid Sans Mono', 'Courier New', monospace;
mir3636
parents:
diff changeset
5
mir3636
parents:
diff changeset
6 font-size: 20px;
mir3636
parents:
diff changeset
7 line-height: 28px;
mir3636
parents:
diff changeset
8 padding: 5px 10px;
mir3636
parents:
diff changeset
9
mir3636
parents:
diff changeset
10 letter-spacing: -1px;
mir3636
parents:
diff changeset
11
mir3636
parents:
diff changeset
12 margin-top: 40px;
mir3636
parents:
diff changeset
13 margin-bottom: 40px;
mir3636
parents:
diff changeset
14
mir3636
parents:
diff changeset
15 color: black;
mir3636
parents:
diff changeset
16 background: rgb(240, 240, 240);
mir3636
parents:
diff changeset
17 border: 1px solid rgb(224, 224, 224);
mir3636
parents:
diff changeset
18 box-shadow: inset 0 2px 6px rgba(0, 0, 0, .1);
mir3636
parents:
diff changeset
19
mir3636
parents:
diff changeset
20 overflow: hidden;
mir3636
parents:
diff changeset
21 }
mir3636
parents:
diff changeset
22
mir3636
parents:
diff changeset
23 /* Pretty print */
mir3636
parents:
diff changeset
24
mir3636
parents:
diff changeset
25 .prettyprint .str, /* string content */
mir3636
parents:
diff changeset
26 .prettyprint .atv { /* a markup attribute value */
mir3636
parents:
diff changeset
27 color: rgb(0, 138, 53);
mir3636
parents:
diff changeset
28 }
mir3636
parents:
diff changeset
29 .prettyprint .kwd, /* a keyword */
mir3636
parents:
diff changeset
30 .prettyprint .tag { /* a markup tag name */
mir3636
parents:
diff changeset
31 color: rgb(0, 102, 204);
mir3636
parents:
diff changeset
32 }
mir3636
parents:
diff changeset
33 .prettyprint .com { /* a comment */
mir3636
parents:
diff changeset
34 color: rgb(127, 127, 127);
mir3636
parents:
diff changeset
35 font-style: italic;
mir3636
parents:
diff changeset
36 }
mir3636
parents:
diff changeset
37 .prettyprint .lit { /* a literal value */
mir3636
parents:
diff changeset
38 color: rgb(127, 0, 0);
mir3636
parents:
diff changeset
39 }
mir3636
parents:
diff changeset
40 .prettyprint .pun, /* punctuation, lisp open bracket, lisp close bracket */
mir3636
parents:
diff changeset
41 .prettyprint .opn,
mir3636
parents:
diff changeset
42 .prettyprint .clo {
mir3636
parents:
diff changeset
43 color: rgb(127, 127, 127);
mir3636
parents:
diff changeset
44 }
mir3636
parents:
diff changeset
45 .prettyprint .typ, /* a type name */
mir3636
parents:
diff changeset
46 .prettyprint .atn, /* a markup attribute name */
mir3636
parents:
diff changeset
47 .prettyprint .dec,
mir3636
parents:
diff changeset
48 .prettyprint .var { /* a declaration; a variable name */
mir3636
parents:
diff changeset
49 color: rgb(127, 0, 127);
mir3636
parents:
diff changeset
50 }
mir3636
parents:
diff changeset
51