The R Project SVN R

Rev

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

Rev 46357 Rev 57975
Line 1... Line 1...
1
body {margin-left: 5%; margin-right: 5%;}
1
body {margin-left: 5%; margin-right: 5%;}
2
 
2
 
-
 
3
H1 {             
3
H1{             background: white;
4
    background: white;
4
                color: rgb(25%, 25%, 25%);
5
    color: rgb(25%, 25%, 25%);
5
                font-family: monospace;
6
    font-family: monospace;
6
                font-size: xx-large;
7
    font-size: xx-large;
7
                text-align: center }
8
    text-align: center
-
 
9
}
8
 
10
 
-
 
11
H2 {
9
H2{             background: white;
12
    background: white;
10
                color: rgb(40%, 40%, 40%);
13
    color: rgb(40%, 40%, 40%);
11
                font-family: monospace;
14
    font-family: monospace;
12
                font-size: x-large;
15
    font-size: x-large;
13
                text-align: center }
16
    text-align: center
-
 
17
}
14
 
18
 
-
 
19
H3 {
15
H3{             background: white;
20
    background: white;
16
                color: rgb(40%, 40%, 40%);
21
    color: rgb(40%, 40%, 40%);
17
                font-family: monospace;
22
    font-family: monospace;
18
                font-size: large }
23
    font-size: large
-
 
24
}
19
 
25
 
-
 
26
H4 {
20
H4{             background: white;
27
    background: white;
21
                color: rgb(40%, 40%, 40%);
28
    color: rgb(40%, 40%, 40%);
22
                font-family: monospace }
29
    font-family: monospace
-
 
30
}
23
 
31
 
24
span.samp{font-family: monospace}
32
span.samp{font-family: monospace}
25
span.command{font-family: monospace}
33
span.command{font-family: monospace}
26
span.option{font-family: monospace}
34
span.option{font-family: monospace}
27
span.file{font-family: monospace}
35
span.file{font-family: monospace}
28
span.env{font-family: monospace}
36
span.env{font-family: monospace}
-
 
37
 
-
 
38
ul {
-
 
39
    margin-top: 0.25ex;
-
 
40
    margin-bottom: 0.25ex;
-
 
41
}
-
 
42
li {
-
 
43
    margin-top: 0.25ex;
-
 
44
    margin-bottom: 0.25ex;
-
 
45
}
-
 
46
p {
-
 
47
    margin-top: 0.6ex;
-
 
48
    margin-bottom: 1.2ex;
-
 
49
}