annotate scripts/prettify.css @ 17:14989d0ed077 draft default tip

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