projects
/
platform
/
upstream
/
ninja.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge pull request #917 from pinotree/rlimit
[platform/upstream/ninja.git]
/
doc
/
style.css
1
body {
2
margin: 5ex 10ex;
3
max-width: 80ex;
4
line-height: 1.5;
5
font-family: sans-serif;
6
}
7
h1, h2, h3 {
8
font-weight: normal;
9
}
10
pre, code {
11
font-family: x, monospace;
12
}
13
pre {
14
padding: 1ex;
15
background: #eee;
16
border: solid 1px #ddd;
17
min-width: 0;
18
font-size: 90%;
19
}
20
code {
21
color: #007;
22
}
23
div.chapter {
24
margin-top: 4em;
25
border-top: solid 2px black;
26
}
27
.section .title {
28
font-size: 1.3em;
29
}
30
.section .section .title {
31
font-size: 1.2em;
32
}
33
p {
34
margin-top: 0;
35
}