annotate presentation/scripts/prettify.css @ 103:76769fd0995e

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