Skip to content

Commit 1a0128c

Browse files
committed
Use local doc.css file, suitable for offline reading.
1 parent fc5751b commit 1a0128c

6 files changed

Lines changed: 217 additions & 5 deletions

File tree

doc/us/doc.css

Lines changed: 212 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,212 @@
1+
body {
2+
margin-left: 1em;
3+
margin-right: 1em;
4+
font-family: arial, helvetica, geneva, sans-serif;
5+
background-color:#ffffff; margin:0px;
6+
}
7+
8+
code {
9+
font-family: "Andale Mono", monospace;
10+
}
11+
12+
tt {
13+
font-family: "Andale Mono", monospace;
14+
}
15+
16+
body, td, th { font-size: 11pt; }
17+
18+
h1, h2, h3, h4 { margin-left: 0em; }
19+
20+
textarea, pre, tt { font-size:10pt; }
21+
body, td, th { color:#000000; }
22+
small { font-size:0.85em; }
23+
h1 { font-size:1.5em; }
24+
h2 { font-size:1.25em; }
25+
h3 { font-size:1.15em; }
26+
h4 { font-size:1.06em; }
27+
28+
a:link { font-weight:bold; color: #004080; text-decoration: none; }
29+
a:visited { font-weight:bold; color: #006699; text-decoration: none; }
30+
a:link:hover { text-decoration:underline; }
31+
hr { color:#cccccc }
32+
img { border-width: 0px; }
33+
34+
h3 { padding-top: 1em; }
35+
36+
p { margin-left: 1em; }
37+
38+
p.name {
39+
font-family: "Andale Mono", monospace;
40+
padding-top: 1em;
41+
margin-left: 0em;
42+
}
43+
44+
blockquote { margin-left: 3em; }
45+
46+
.example {
47+
background-color: rgb(245, 245, 245);
48+
border-top-width: 1px;
49+
border-right-width: 1px;
50+
border-bottom-width: 1px;
51+
border-left-width: 1px;
52+
border-top-style: solid;
53+
border-right-style: solid;
54+
border-bottom-style: solid;
55+
border-left-style: solid;
56+
border-top-color: silver;
57+
border-right-color: silver;
58+
border-bottom-color: silver;
59+
border-left-color: silver;
60+
padding: 1em;
61+
margin-left: 1em;
62+
margin-right: 1em;
63+
font-family: "Andale Mono", monospace;
64+
font-size: smaller;
65+
}
66+
67+
hr {
68+
margin-left: 0em;
69+
background: #00007f;
70+
border: 0px;
71+
height: 1px;
72+
}
73+
74+
ul { list-style-type: disc; }
75+
76+
table.index { border: 1px #00007f; }
77+
table.index td { text-align: left; vertical-align: top; }
78+
table.index ul { padding-top: 0em; margin-top: 0em; }
79+
80+
table {
81+
border: 1px solid black;
82+
border-collapse: collapse;
83+
margin-left: auto;
84+
margin-right: auto;
85+
}
86+
87+
th {
88+
border: 1px solid black;
89+
padding: 0.5em;
90+
}
91+
92+
td {
93+
border: 1px solid black;
94+
padding: 0.5em;
95+
}
96+
div.header, div.footer { margin-left: 0em; }
97+
98+
#container {
99+
margin-left: 1em;
100+
margin-right: 1em;
101+
background-color: #f0f0f0;
102+
}
103+
104+
#product {
105+
text-align: center;
106+
border-bottom: 1px solid #cccccc;
107+
background-color: #ffffff;
108+
}
109+
110+
#product big {
111+
font-size: 2em;
112+
}
113+
114+
#product_logo {
115+
}
116+
117+
#product_name {
118+
}
119+
120+
#product_description {
121+
}
122+
123+
#main {
124+
background-color: #f0f0f0;
125+
border-left: 2px solid #cccccc;
126+
}
127+
128+
#navigation {
129+
float: left;
130+
width: 12em;
131+
margin: 0;
132+
vertical-align: top;
133+
background-color: #f0f0f0;
134+
overflow:visible;
135+
}
136+
137+
#navigation h1 {
138+
background-color:#e7e7e7;
139+
font-size:1.1em;
140+
color:#000000;
141+
text-align:left;
142+
margin:0px;
143+
padding:0.2em;
144+
border-top:1px solid #dddddd;
145+
border-bottom:1px solid #dddddd;
146+
}
147+
148+
#navigation ul {
149+
font-size:1em;
150+
list-style-type: none;
151+
padding: 0;
152+
margin: 1px;
153+
}
154+
155+
#navigation li {
156+
text-indent: -1em;
157+
margin: 0em 0em 0em 0.5em;
158+
display: block;
159+
padding: 3px 0px 0px 12px;
160+
}
161+
162+
#navigation li li a {
163+
padding: 0px 3px 0px -1em;
164+
}
165+
166+
#content {
167+
margin-left: 12em;
168+
padding: 1em;
169+
border-left: 2px solid #cccccc;
170+
border-right: 2px solid #cccccc;
171+
background-color: #ffffff;
172+
}
173+
174+
#about {
175+
clear: both;
176+
margin: 0;
177+
padding: 5px;
178+
border-top: 2px solid #cccccc;
179+
background-color: #ffffff;
180+
}
181+
182+
@media print {
183+
body {
184+
font: 10pt "Times New Roman", "TimeNR", Times, serif;
185+
}
186+
a {
187+
font-weight:bold; color: #004080; text-decoration: underline;
188+
}
189+
#main {
190+
background-color: #ffffff; border-left: 0px;
191+
}
192+
#container {
193+
margin-left: 2%; margin-right: 2%; background-color: #ffffff;
194+
}
195+
#content {
196+
margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff;
197+
}
198+
#navigation {
199+
display: none;
200+
}
201+
#product_logo {
202+
display: none;
203+
}
204+
#about img {
205+
display: none;
206+
}
207+
.example {
208+
font-family: "Andale Mono", monospace;
209+
font-size: 8pt;
210+
page-break-inside: avoid;
211+
}
212+
}

doc/us/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
55
<head>
66
<title>WSAPI</title>
7-
<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>
7+
<link rel="stylesheet" href="doc.css" type="text/css"/>
88
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
99
</head>
1010

doc/us/libraries.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
55
<head>
66
<title>WSAPI</title>
7-
<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>
7+
<link rel="stylesheet" href="doc.css" type="text/css"/>
88
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
99
</head>
1010

doc/us/license.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
55
<head>
66
<title>WSAPI</title>
7-
<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>
7+
<link rel="stylesheet" href="doc.css" type="text/css"/>
88
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
99
</head>
1010

doc/us/makedoc.lua

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ local template = [==[
2121
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
2222
<head>
2323
<title>$name</title>
24-
<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>
24+
<link rel="stylesheet" href="doc.css" type="text/css"/>
2525
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
2626
</head>
2727

doc/us/manual.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
55
<head>
66
<title>WSAPI</title>
7-
<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>
7+
<link rel="stylesheet" href="doc.css" type="text/css"/>
88
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
99
</head>
1010

0 commit comments

Comments
 (0)