The R Project SVN R

Rev

Rev 57975 | Rev 84832 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 57975 Rev 66240
Line -... Line 1...
- 
 
 1 
body {
- 
 
 2 
    margin-left: 5%;
1 
body {margin-left: 5%; margin-right: 5%;}
 3 
    margin-right: 5%;
- 
 
 4 
}
2 
 
 5 
 
3 
H1 {
6 
h1 {
4 
    background: white;
 7 
    background: white;
5 
    color: rgb(25%, 25%, 25%);
 8 
    color: rgb(25%, 25%, 25%);
6 
    font-family: monospace;
 9 
    font-family: monospace;
7 
    font-size: xx-large;
 10 
    font-size: xx-large;
8 
    text-align: center
 11 
    text-align: center;
9 
}
 12 
}
10 
 
 13 
 
11 
H2 {
 14 
h2 {
12 
    background: white;
 15 
    background: white;
13 
    color: rgb(40%, 40%, 40%);
 16 
    color: rgb(40%, 40%, 40%);
14 
    font-family: monospace;
 17 
    font-family: monospace;
15 
    font-size: x-large;
 18 
    font-size: x-large;
16 
    text-align: center
 19 
    text-align: center;
17 
}
 20 
}
18 
 
 21 
 
19 
H3 {
 22 
h3 {
20 
    background: white;
 23 
    background: white;
21 
    color: rgb(40%, 40%, 40%);
 24 
    color: rgb(40%, 40%, 40%);
22 
    font-family: monospace;
 25 
    font-family: monospace;
23 
    font-size: large
 26 
    font-size: large;
24 
}
 27 
}
25 
 
 28 
 
26 
H4 {
 29 
h4 {
27 
    background: white;
 30 
    background: white;
28 
    color: rgb(40%, 40%, 40%);
 31 
    color: rgb(40%, 40%, 40%);
29 
    font-family: monospace
 32 
    font-family: monospace;
- 
 
 33 
}
- 
 
 34 
 
- 
 
 35 
span.samp {
- 
 
 36 
    font-family: monospace;
- 
 
 37 
}
- 
 
 38 
 
- 
 
 39 
span.command {
- 
 
 40 
    font-family: monospace;
- 
 
 41 
}
- 
 
 42 
 
- 
 
 43 
span.option {
- 
 
 44 
    font-family: monospace;
30 
}
 45 
}
31 
 
 46 
 
32 
span.samp{font-family: monospace}
 47 
span.file {
33 
span.command{font-family: monospace}
 - 
 
34 
span.option{font-family: monospace}
 48 
    font-family: monospace;
- 
 
 49 
}
- 
 
 50 
 
35 
span.file{font-family: monospace}
 51 
span.env {
36 
span.env{font-family: monospace}
 52 
    font-family: monospace;
- 
 
 53 
}
37 
 
 54 
 
38 
ul {
 55 
ul {
39 
    margin-top: 0.25ex;
 56 
    margin-top: 0.25ex;
40 
    margin-bottom: 0.25ex;
 57 
    margin-bottom: 0.25ex;
41 
}
 58 
}
- 
 
 59 
 
42 
li {
 60 
li {
43 
    margin-top: 0.25ex;
 61 
    margin-top: 0.25ex;
44 
    margin-bottom: 0.25ex;
 62 
    margin-bottom: 0.25ex;
45 
}
 63 
}
- 
 
 64 
 
46 
p {
 65 
p {
47 
    margin-top: 0.6ex;
 66 
    margin-top: 0.6ex;
48 
    margin-bottom: 1.2ex;
 67 
    margin-bottom: 1.2ex;
49 
}
 68 
}