Skip to content

Commit 70d61c3

Browse files
GodinGodin
committed
Automatic deployment
0 parents  commit 70d61c3

File tree

1,171 files changed

+144738
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,171 files changed

+144738
-0
lines changed

‎.nojekyll

Whitespace-only changes.

‎book.css

+186
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,186 @@
1+
P.Code {
2+
display: block;
3+
text-align: left;
4+
text-indent: 0.00pt;
5+
margin-top: 0.000000pt;
6+
margin-bottom: 0.000000pt;
7+
margin-right: 0.000000pt;
8+
margin-left: 15pt;
9+
font-size: 10.000000pt;
10+
color: #4444CC;
11+
text-decoration: none;
12+
vertical-align: baseline;
13+
text-transform: none;
14+
font-family: "Courier New";
15+
}
16+
H6.CaptionFigColumn {
17+
display: block;
18+
text-align: left;
19+
text-indent: 0.000000pt;
20+
margin-top: 3.000000pt;
21+
margin-bottom: 11.000000pt;
22+
margin-right: 0.000000pt;
23+
margin-left: 0.000000pt;
24+
font-size: 9.000000pt;
25+
font-style: Italic;
26+
color: #000000;
27+
text-decoration: none;
28+
vertical-align: baseline;
29+
text-transform: none;
30+
font-family: "Arial";
31+
}
32+
P.Note {
33+
display: block;
34+
text-align: left;
35+
text-indent: 0pt;
36+
margin-top: 19.500000pt;
37+
margin-bottom: 19.500000pt;
38+
margin-right: 0.000000pt;
39+
margin-left: 30pt;
40+
font-size: 11.000000pt;
41+
font-style: Italic;
42+
color: #000000;
43+
text-decoration: none;
44+
vertical-align: baseline;
45+
text-transform: none;
46+
font-family: "Arial";
47+
}
48+
EM.UILabel {
49+
font-weight: Bold;
50+
text-decoration: none;
51+
vertical-align: baseline;
52+
text-transform: none;
53+
}
54+
EM.CodeName {
55+
font-weight: Bold;
56+
text-decoration: none;
57+
vertical-align: baseline;
58+
text-transform: none;
59+
font-family:"Courier New";
60+
}
61+
62+
body, html { border: 0px }
63+
64+
65+
/* following font face declarations need to be removed for DBCS */
66+
67+
body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
68+
pre { font-family: Courier, monospace}
69+
70+
/* end font face declarations */
71+
72+
/* following font size declarations should be OK for DBCS */
73+
body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 10pt; }
74+
pre { font-size: 10pt}
75+
76+
/* end font size declarations */
77+
78+
body { background: #FFFFFF}
79+
h1 { font-size: 18pt; margin-top: 15px; margin-bottom: 3px }
80+
h2 { font-size: 14pt; margin-top: 20px; margin-bottom: 3px }
81+
h3 { font-size: 11pt; margin-top: 20px; margin-bottom: 3px }
82+
h4 { font-size: 10pt; margin-top: 20px; margin-bottom: 3px; font-style: italic }
83+
p { margin-top: 10px; margin-bottom: 10px }
84+
pre { margin-left: 6px; font-size: 9pt; color: #4444CC }
85+
a:link { color: #0000FF }
86+
a:hover { color: #000080 }
87+
a:visited { text-decoration: underline }
88+
ul { margin-top: 0; margin-bottom: 10px }
89+
li { margin-top: 0; margin-bottom: 0 }
90+
li p { margin-top: 0; margin-bottom: 0 }
91+
ol { margin-top: 0; margin-bottom: 10px }
92+
dl { margin-top: 0; margin-bottom: 10px }
93+
dt { margin-top: 0; margin-bottom: 0; font-weight: bold }
94+
dd { margin-top: 0; margin-bottom: 0 }
95+
strong { font-weight: bold}
96+
em { font-style: italic}
97+
var { font-style: italic}
98+
div.revision { border-left-style: solid; border-left-width: thin;
99+
border-left-color: #7B68EE; padding-left:5px }
100+
th { font-weight: bold }
101+
102+
pre.code {
103+
color: #000000;
104+
margin: 0px 0px 0px 0px;
105+
padding: 10px 10px 10px 10px;
106+
background-color:#e0e0e0;
107+
border: 1px solid #000000;
108+
}
109+
110+
div.menu {
111+
background-image:url(images/topic.gif);
112+
background-repeat:no-repeat;
113+
background-position:left center;
114+
padding-left:17px;
115+
white-space:nowrap;
116+
margin-bottom:2pt;
117+
}
118+
div.menu a {
119+
color:#000000;
120+
text-decoration:none;
121+
}
122+
div.menu a:visited {
123+
color:#000000;
124+
text-decoration:none;
125+
}
126+
div.menu a:hover {
127+
text-decoration:underline;
128+
}
129+
div.menuhi {
130+
color:#ffffff;
131+
background-color:#000080;
132+
background-image:url(images/topic.gif);
133+
background-repeat:no-repeat;
134+
background-position:left center;
135+
padding-left:17px;
136+
white-space:nowrap;
137+
margin-bottom:2pt;
138+
}
139+
div.menuhi a {
140+
color:#ffffff;
141+
text-decoration:none;
142+
}
143+
div.menuhi a:visited {
144+
color:#ffffff;
145+
text-decoration:none;
146+
}
147+
div.menuhi a:hover {
148+
text-decoration:underline;
149+
}
150+
151+
a.extern {
152+
background-image:url(images/extern.gif);
153+
background-repeat:no-repeat;
154+
background-position:left center;
155+
padding-left:15px;
156+
}
157+
158+
td.footer {
159+
color:#8998a5;
160+
font-size:8pt;
161+
}
162+
td.footer a {
163+
color:#8998a5;
164+
}
165+
166+
p.info {
167+
color: #000000;
168+
margin: 0px 0px 0px 0px;
169+
padding: 5px 5px 5px 25px;
170+
background-color:#e0e0ff;
171+
border: 1px solid #8080ff;
172+
background-image:url(images/info.gif);
173+
background-position:5px 5px;
174+
background-repeat:no-repeat;
175+
}
176+
177+
p.warn {
178+
color: #000000;
179+
margin: 0px 0px 0px 0px;
180+
padding: 5px 5px 5px 25px;
181+
background-color:#ffffe0;
182+
border: 1px solid #ffcc00;
183+
background-image:url(images/warning.gif);
184+
background-position:5px 5px;
185+
background-repeat:no-repeat;
186+
}

0 commit comments

Comments
 (0)