Mercurial > magic

annotate slides.css @ 244:eee52d5a4af8 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
created
author 127.0.0.1
date Sun, 30 Jun 2013 11:08:33 +0200
parents 318ceb4ab968
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18
94edce8599eb created
127.0.0.1
parents:
diff changeset
1 html { background: #fff url(slide-background.png) no-repeat 100% 100%; color #444; height: 100%; }
94edce8599eb created
127.0.0.1
parents:
diff changeset
2 div.slide { padding: 1em 3em; position: absolute; top: 0; left: 0; bottom: 0; right: 0 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
3
94edce8599eb created
127.0.0.1
parents:
diff changeset
4 body {
94edce8599eb created
127.0.0.1
parents:
diff changeset
5 line-height: 1.35;
94edce8599eb created
127.0.0.1
parents:
diff changeset
6 font-family: DejaVu Sans, sans-serif;
94edce8599eb created
127.0.0.1
parents:
diff changeset
7 color: #444;
94edce8599eb created
127.0.0.1
parents:
diff changeset
8 color: #6d7c8a;
94edce8599eb created
127.0.0.1
parents:
diff changeset
9 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
10
94edce8599eb created
127.0.0.1
parents:
diff changeset
11 h1, h2, h3, h4, h5 {
94edce8599eb created
127.0.0.1
parents:
diff changeset
12 color: #6a2;
94edce8599eb created
127.0.0.1
parents:
diff changeset
13 color: #6da6db;
94edce8599eb created
127.0.0.1
parents:
diff changeset
14 font-weight: bold;
94edce8599eb created
127.0.0.1
parents:
diff changeset
15 font-family: DejaVu Sans, sans-serif;
94edce8599eb created
127.0.0.1
parents:
diff changeset
16 text-shadow: 0.025em 0.05em 0 #6d7c8a;
94edce8599eb created
127.0.0.1
parents:
diff changeset
17 letter-spacing: 0.05em;
94edce8599eb created
127.0.0.1
parents:
diff changeset
18 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
19
94edce8599eb created
127.0.0.1
parents:
diff changeset
20
94edce8599eb created
127.0.0.1
parents:
diff changeset
21 a img {
94edce8599eb created
127.0.0.1
parents:
diff changeset
22 border: none;
94edce8599eb created
127.0.0.1
parents:
diff changeset
23 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
24 b img {
94edce8599eb created
127.0.0.1
parents:
diff changeset
25 float: left;
94edce8599eb created
127.0.0.1
parents:
diff changeset
26 margin: 0.25em 2em 0.25em 0;
94edce8599eb created
127.0.0.1
parents:
diff changeset
27 display: block;
94edce8599eb created
127.0.0.1
parents:
diff changeset
28 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
29 i img {
94edce8599eb created
127.0.0.1
parents:
diff changeset
30 float: right;
94edce8599eb created
127.0.0.1
parents:
diff changeset
31 margin: 0.25em 0 0.25em 2em;
94edce8599eb created
127.0.0.1
parents:
diff changeset
32 display: block;
94edce8599eb created
127.0.0.1
parents:
diff changeset
33 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
34 ul {
94edce8599eb created
127.0.0.1
parents:
diff changeset
35 margin: 0;
94edce8599eb created
127.0.0.1
parents:
diff changeset
36 padding: 0 0 0 2em;
94edce8599eb created
127.0.0.1
parents:
diff changeset
37 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
38 li {
94edce8599eb created
127.0.0.1
parents:
diff changeset
39 margin: 0.25em 0;
94edce8599eb created
127.0.0.1
parents:
diff changeset
40 padding: 0;
94edce8599eb created
127.0.0.1
parents:
diff changeset
41 list-style: square outside;
94edce8599eb created
127.0.0.1
parents:
diff changeset
42 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
43
94edce8599eb created
127.0.0.1
parents:
diff changeset
44 code {
94edce8599eb created
127.0.0.1
parents:
diff changeset
45 font-size: 100%;
94edce8599eb created
127.0.0.1
parents:
diff changeset
46 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
47
94edce8599eb created
127.0.0.1
parents:
diff changeset
48 div.highlight {
94edce8599eb created
127.0.0.1
parents:
diff changeset
49 background: transparent;
94edce8599eb created
127.0.0.1
parents:
diff changeset
50 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
51
94edce8599eb created
127.0.0.1
parents:
diff changeset
52 pre {
94edce8599eb created
127.0.0.1
parents:
diff changeset
53 font-family: DejaVu Sans Mono, monospace;
94edce8599eb created
127.0.0.1
parents:
diff changeset
54 line-height: 1.05;
94edce8599eb created
127.0.0.1
parents:
diff changeset
55 font-size: 90%;
94edce8599eb created
127.0.0.1
parents:
diff changeset
56 }
94edce8599eb created
127.0.0.1
parents:
diff changeset
57
94edce8599eb created
127.0.0.1
parents:
diff changeset
58 hr {
20
f70a4a3a8b68 created
127.0.0.1
parents: 19
diff changeset
59 border: none;
21
318ceb4ab968 created
127.0.0.1
parents: 20
diff changeset
60 border-top: 0.125em #6da6db solid;
318ceb4ab968 created
127.0.0.1
parents: 20
diff changeset
61 box-shadow: 0.025em 0.05em 0 #6d7c8a;
18
94edce8599eb created
127.0.0.1
parents:
diff changeset
62 }