doc/tutorial/web/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

body {
  padding: 1em;
  margin: 0;
  font-family: "Helvetica Neue", Helvetica, sans-serif;
}

#content {
  padding: 1em 6em;
  max-width: 50em;
}

h1 { font-size: 22pt; }
h2 { font-size: 17pt; }
h3 { font-size: 14pt; }

code {
  color: #033;
}

pre {
  margin: 1.1em 0;
  padding: .4em .4em .4em 1em;
  font-size: 120%;
}

p.head {
  font-size: 80%;
  font-style: italic;
  text-align: right;
}

a, a:visited, a:link {
  text-decoration: none;
  color: #00438a;
}