1
1
body {
2
- width : 60% ;
3
- font-family : Georgia, serif;
4
- margin : 20px auto;
2
+ width : 60% ;
3
+ font-family : Georgia, serif;
4
+ margin : 20px auto;
5
5
}
6
6
7
7
a {
8
- color : # ce242a ;
8
+ color : # ce242a ;
9
+ -webkit-transition : color 0.3s ease-out;
10
+ -moz-transition : color 0.3s ease-out;
11
+ -ms-transition : color 0.3s ease-out;
12
+ -o-transition : color 0.3s ease-out;
13
+ transition : color 0.3s ease-out;
9
14
}
10
15
11
16
a : visited {
12
- color : # 9f2826 ;
17
+ color : # 9f2826 ;
13
18
}
14
19
15
- h1 , h2 , h3 , h4 {
16
- font-family : Helvetica, Arial, sans-serif;
20
+ a : hover {
21
+ color : # 570100 ;
22
+ }
23
+
24
+ h1 , h2 , h3 , h4 {
25
+ font-family : Helvetica, Arial, sans-serif;
17
26
}
18
27
19
28
hr {
20
- color : # ccc ;
21
- margin : 50px 0 ;
22
- border-bottom : 1px solid # CCC ;
23
- border-top : 0 ;
29
+ color : # ccc ;
30
+ margin : 50px 0 ;
31
+ border-bottom : 1px solid # CCC ;
32
+ border-top : 0 ;
24
33
}
25
34
26
35
p {
27
- line-height : 1.4em ;
36
+ line-height : 1.4em ;
28
37
}
29
38
30
39
# titlepage {
31
- border-bottom : 1px solid # CCC ;
32
- margin-bottom : 30px ;
33
- padding-bottom : 15px ;
40
+ border-bottom : 1px solid # CCC ;
41
+ margin-bottom : 30px ;
42
+ padding-bottom : 15px ;
34
43
}
35
44
36
45
h1 .title {
37
- font-size : 250% ;
46
+ font-size : 250% ;
38
47
}
39
48
40
49
h1 .maintitle {
41
- float : left;
50
+ float : left;
42
51
}
43
52
44
53
h1 .maintitle a {
45
- color : # 000 ;
54
+ color : # 000 ;
46
55
}
47
56
48
57
h2 , h3 {
49
- margin : 30px 0 19px 0 ;
58
+ margin : 30px 0 19px 0 ;
50
59
}
51
60
52
61
.social {
53
- float : right;
54
- margin-top : 35px ;
62
+ float : right;
63
+ margin-top : 35px ;
55
64
}
56
65
57
66
.social li {
58
- float : left;
59
- list-style : none;
67
+ float : left;
68
+ list-style : none;
60
69
}
61
70
62
71
dt {
63
- font-family : Helvetica, Arial, sans-serif;
64
- font-weight : 700 ;
72
+ font-family : Helvetica, Arial, sans-serif;
73
+ font-weight : 700 ;
65
74
}
66
75
67
76
# TOC li {
68
- color : # ce242a ;
77
+ color : # ce242a ;
78
+ padding : 2px 0 ;
69
79
}
70
80
71
81
.translators .translator {
72
- margin : 0 0 15px ;
82
+ margin : 0 0 15px ;
73
83
}
74
84
75
85
.translators .corrections {
76
- font-size : 14px ;
77
- font-weight : 400 ;
78
- margin : 0 ;
86
+ font-size : 14px ;
87
+ font-weight : 400 ;
88
+ margin : 0 ;
79
89
}
80
90
81
91
.clear {
82
- clear : both;
92
+ clear : both;
83
93
}
84
94
85
95
.translators , blockquote {
86
- background-color : # FE6 ;
87
- padding : 15px ;
96
+ background-color : # FE6 ;
97
+ padding : 15px ;
88
98
}
89
99
90
100
pre {
91
- background : none repeat scroll 0 0 # F1F1F1 ;
92
- border : 1px solid # DDD ;
93
- color : # 000 ;
94
- font-size : 12px ;
95
- overflow : auto;
96
- width : 100% ;
97
- margin : 20px 0 ;
98
- padding : 15 px 0 0 ;
101
+ background : none repeat scroll 0 0 # F1F1F1 ;
102
+ border : 1px solid # DDD ;
103
+ color : # 000 ;
104
+ font-size : 12px ;
105
+ overflow : auto;
106
+ width : 100% ;
107
+ margin : 20px 0 ;
108
+ padding : 10 px 0 ;
99
109
}
100
110
101
111
pre code {
102
- font : 13px Monaco, "Courier New" , "DejaVu Sans Mono" , "Bitstream Vera Sans Mono" , monospace;
103
- padding : 0 0 0 25px ;
104
- }
112
+ font : 13px Monaco, "Courier New" , "DejaVu Sans Mono" , "Bitstream Vera Sans Mono" , monospace;
113
+ padding : 0 0 0 25px ;
114
+ }
115
+
116
+
117
+
118
+ /* Syntax Highlight styles */
119
+
120
+ /* Loosely based on pygment's tango colors */
121
+ table .sourceCode , tr .sourceCode , td .sourceCode , table .sourceCode pre
122
+ { margin : 0 ; padding : 0 ; border : 0 ; vertical-align : baseline; border : none; background-color : # f8f8f8 }
123
+ td .nums { text-align : right; padding-right : 5px ; padding-left : 5px ; background-color : # f0f0f0 ; }
124
+ td .sourceCode { padding-left : 5px ; }
125
+ code .sourceCode { background-color : # f8f8f8 ; }
126
+ pre .sourceCode { background-color : # f8f8f8 ; line-height : 125% }
127
+ td .nums pre { background-color : # f0f0f0 ; line-height : 125% }
128
+ code .sourceCode span .kw { color : # 204a87 ; font-weight : bold } /* Keyword */
129
+ code .sourceCode span .dt { color : # 204a87 } /* Keyword.Type */
130
+ code .sourceCode span .dv { color : # 0000cf } /* Literal.Number.Integer */
131
+ code .sourceCode span .bn { color : # 0000cf } /* Literal.Number.Hex */
132
+ code .sourceCode span .fl { color : # 0000cf } /* Literal.Number.Float */
133
+ code .sourceCode span .ch { color : # 4e9a06 } /* Literal.String.Char */
134
+ code .sourceCode span .st { color : # 4e9a06 } /* Literal.String */
135
+ code .sourceCode span .co { color : # 8f5902 ; font-style : italic } /* Comment */
136
+ code .sourceCode span .ot { color : # 8f5902 } /* Comment.Preproc */
137
+ code .sourceCode span .al { color : # ef2929 } /* Generic.Error */
138
+ code .sourceCode span .fu { color : # 000000 } /* Name.Function */
139
+ code .sourceCode span .re {
140
+ code .sourceCode span .er { color : # a40000 ; } /* Error */
0 commit comments