demo/src/style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

html {
  font-size: 100%;
  font-family:sans-serif;
  /* font-family:sans-serif; */
  /* font:1.2em/1.62 sans-serif; */
}

body {
  line-height: 1.6;
  max-width:40em;
  background-color: #ededed; 
  margin: auto;
}

.container {
   text-align: center;
}

.container pre {
  display: inline-block;
  text-align: left;
  line-height: 1.0;
}

#header {
  text-decoration: none;
  color: inherit;
  font-size:125%;
}

#navigation {
  font-family:monospace;
  font-size:125%;
}

h1 { font-size: 1.4rem; }
h2 { font-size: 1.2rem; }
h3 { font-size: 1.0rem;}

a:link, a:visited {
  color: #2626FF;
}

a:hover, a:focus {
  color: #4c4cFF;
}

li + li {
  margin-top:0.2em;
}

ul img {
  vertical-align:middle;
}