1
+ body {
2
+ width : 960px ;
3
+ margin : 0 auto;
4
+ padding : 0 ;
5
+ -moz-border-radius : 1.5em ;
6
+ -webkit-border-radius : 1.5em ;
7
+ border-radius : 1.5em ;
8
+ }
1
9
2
10
p , dd , dt {font-size : 14px ;text-indent : 2em }
3
11
li p {font-size : 14px ;text-indent : 0em }
4
12
5
13
h1 , h2 , h3 , h4 , h5 , h6 {
6
- color : # 990000 ;
7
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
8
- font-weight : bold;
14
+ color : # 990000 ;
15
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
16
+ font-weight : bold;
9
17
}
10
18
h1 {font-size : 20pt ;line-height : 130% ;font-weight : "bold" ;align : "center" ;}
11
19
h2 {font-size : 18pt ;line-height : 130% ;letter-spacing : 2px ;}
@@ -16,8 +24,8 @@ h5,h6 {font-size:9pt; line-height:130%;letter-spacing: 2px;}
16
24
td , li , select , input {font-size : 14px }
17
25
18
26
pre .programlisting , pre .screen {
19
- background : # E0E0E0 ;
20
- padding : 6px ;
27
+ background : # E0E0E0 ;
28
+ padding : 6px ;
21
29
}
22
30
23
31
table ,
@@ -36,32 +44,32 @@ td.segmentedlist {
36
44
}
37
45
38
46
table {
39
- border : 1px ;
47
+ border : 1px ;
40
48
}
41
49
table pre .programlisting {
42
- background-color : # FFFFFF ;
50
+ background-color : # FFFFFF ;
43
51
}
44
52
45
53
div .book div .titlepage {
46
- border-top : 12px solid # BBBBBB ;
47
- border-left : 12px solid # DDDDDD ;
48
- border-right : 12px solid # DDDDDD ;
49
- border-bottom : 12px solid # F3F3F3 ;
50
- background-color : # FFFFBB ;
51
- color : # 000066 ;
52
- padding-left : 12px ;
53
- padding-right : 12px ;
54
+ border-top : 12px solid # BBBBBB ;
55
+ border-left : 12px solid # DDDDDD ;
56
+ border-right : 12px solid # DDDDDD ;
57
+ border-bottom : 12px solid # F3F3F3 ;
58
+ background-color : # FFFFBB ;
59
+ color : # 000066 ;
60
+ padding-left : 12px ;
61
+ padding-right : 12px ;
54
62
}
55
63
56
64
table .copyright {
57
- font-style : italic;
58
- font-size : 9pt ;
59
- padding-top : 8px ;
60
- padding-left : 8px ;
61
- padding-right : 8px ;
62
- padding-bottom : 8px ;
63
- background-color : # FFFFBB ;
64
- align : right;
65
+ font-style : italic;
66
+ font-size : 9pt ;
67
+ padding-top : 8px ;
68
+ padding-left : 8px ;
69
+ padding-right : 8px ;
70
+ padding-bottom : 8px ;
71
+ background-color : # FFFFBB ;
72
+ align : right;
65
73
}
66
74
67
75
.navhead { padding-top : 0 ;
@@ -77,58 +85,59 @@ table.copyright {
77
85
.navhead a : hover { color : # 0000FF ; text-decoration : none; }
78
86
79
87
.navheader {
80
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
81
- background-color : # FFFFBB ;
82
- font-size : 9pt ;
88
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
89
+ background-color : # FFFFBB ;
90
+ font-size : 9pt ;
91
+ margin-top : 5px ;
83
92
}
84
93
85
94
.navfooter {
86
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
87
- font-size : 9pt ;
95
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
96
+ font-size : 9pt ;
88
97
}
89
98
90
99
.toc {font-size : 9pt ;color= "blue" ;font- weight: "bold" ;}
91
100
92
101
div .toc span .part {
93
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
94
- font-weight : bold;
95
- font-size : 14px ;
96
- margin-top : 1in ;
102
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
103
+ font-weight : bold;
104
+ font-size : 14px ;
105
+ margin-top : 1in ;
97
106
}
98
107
div .toc span .glossary {
99
- font-weight : bold;
108
+ font-weight : bold;
100
109
}
101
110
div .toc span .index {
102
- font-weight : bold;
111
+ font-weight : bold;
103
112
}
104
113
div .toc span .preface {
105
- font-weight : bold;
114
+ font-weight : bold;
106
115
}
107
116
div .toc span .appendix {
108
- font-weight : bold;
117
+ font-weight : bold;
109
118
}
110
119
div .toc span .chapter {
111
- font-weight : bold;
120
+ font-weight : bold;
112
121
}
113
122
114
123
115
124
div .book div .titlepage h1 .title {
116
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
117
- font-weight : bold;
118
- font-size : 36 ;
125
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
126
+ font-weight : bold;
127
+ font-size : 36 ;
119
128
}
120
129
121
130
div .book div .titlepage h3 .author {
122
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
123
- font-weight : bold;
124
- font-size : 24 ;
131
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
132
+ font-weight : bold;
133
+ font-size : 24 ;
125
134
}
126
135
127
136
div .book div .titlepage p .edition {
128
- font-family : Tahoma, Ariel, Helvetica, sans-serif;
129
- color : gray;
130
- font-weight : bold;
131
- font-size : 30 ;
137
+ font-family : Tahoma, Ariel, Helvetica, sans-serif;
138
+ color : gray;
139
+ font-weight : bold;
140
+ font-size : 30 ;
132
141
}
133
142
span .lineannotation {
134
143
font-family : serif;
0 commit comments