Skip to content

Commit 060fc14

Browse files
committed
Include files for old articles, used by doc/*
1 parent 2743690 commit 060fc14

File tree

153 files changed

+2269
-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.

153 files changed

+2269
-0
lines changed

docbook/includes/css/docbook.css

Lines changed: 138 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,138 @@
1+
2+
p,dd,dt {font-size:14px;text-indent: 2em }
3+
li p {font-size:14px;text-indent: 0em }
4+
5+
h1, h2, h3, h4, h5, h6 {
6+
color: #990000;
7+
font-family: Tahoma, Ariel, Helvetica, sans-serif;
8+
font-weight: bold;
9+
}
10+
h1 {font-size:20pt;line-height:130%;font-weight:"bold";align:"center";}
11+
h2 {font-size:18pt;line-height:130%;letter-spacing: 2px;}
12+
h3 {font-size:16pt;line-height:130%;letter-spacing: 2px;}
13+
h4 {font-size:14px;line-height:130%;letter-spacing: 2px;}
14+
h5,h6 {font-size:9pt; line-height:130%;letter-spacing: 2px;}
15+
16+
td,li,select,input {font-size:14px}
17+
18+
pre.programlisting, pre.screen {
19+
background: #E0E0E0;
20+
padding: 6px;
21+
}
22+
23+
table,
24+
tbody,thead,tfoot,
25+
tr,td {
26+
/* border-color: #8F8F8F; */
27+
border-color: #E0E0E0;
28+
}
29+
td,th,toc,select,input {font-size:9pt}
30+
th.segmentedlist {
31+
background-color: #404040;
32+
color: white;
33+
}
34+
td.segmentedlist {
35+
color:#404040; margin-left: 100px; margin-right: 55px
36+
}
37+
38+
table {
39+
border: 1px;
40+
}
41+
table pre.programlisting {
42+
background-color: #FFFFFF;
43+
}
44+
45+
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+
}
55+
56+
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+
}
66+
67+
.navhead { padding-top: 0;
68+
margin-bottom: 0;
69+
padding-bottom: 0;
70+
font-size: 9pt;
71+
}
72+
73+
.navhead { color: #0000FF; }
74+
.navhead a:link { color: #0000FF; text-decoration: none; }
75+
.navhead a:visited { color: #0000FF; text-decoration: none; }
76+
.navhead a:active { color: #0000FF; text-decoration: none; }
77+
.navhead a:hover { color: #0000FF; text-decoration: none; }
78+
79+
.navheader {
80+
font-family: Tahoma, Ariel, Helvetica, sans-serif;
81+
background-color: #FFFFBB;
82+
font-size: 9pt;
83+
}
84+
85+
.navfooter {
86+
font-family: Tahoma, Ariel, Helvetica, sans-serif;
87+
font-size: 9pt;
88+
}
89+
90+
.toc {font-size:9pt;color="blue";font-weight:"bold";}
91+
92+
div.toc span.part {
93+
font-family: Tahoma, Ariel, Helvetica, sans-serif;
94+
font-weight: bold;
95+
font-size: 14px;
96+
margin-top: 1in;
97+
}
98+
div.toc span.glossary {
99+
font-weight: bold;
100+
}
101+
div.toc span.index {
102+
font-weight: bold;
103+
}
104+
div.toc span.preface {
105+
font-weight: bold;
106+
}
107+
div.toc span.appendix {
108+
font-weight: bold;
109+
}
110+
div.toc span.chapter {
111+
font-weight: bold;
112+
}
113+
114+
115+
div.book div.titlepage h1.title {
116+
font-family: Tahoma, Ariel, Helvetica, sans-serif;
117+
font-weight: bold;
118+
font-size: 36;
119+
}
120+
121+
div.book div.titlepage h3.author {
122+
font-family: Tahoma, Ariel, Helvetica, sans-serif;
123+
font-weight: bold;
124+
font-size: 24;
125+
}
126+
127+
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;
132+
}
133+
span.lineannotation {
134+
font-family: serif;
135+
font-style: italic;
136+
}
137+
138+
span.inlinemediaobject img {border: 0; }
Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
body {
2+
background-color: #FFFFFF;
3+
}
4+
5+
div.node {
6+
padding-bottom: 1ex;
7+
padding-left: 2em;
8+
}
9+
10+
div.cloud {
11+
padding-bottom: 1ex;
12+
padding-left: 2em;
13+
background-color: #C0C0FF;
14+
border-width: 2px;
15+
border-style: solid;
16+
border-color: #A0A0FF;
17+
}
18+
19+
div.content {
20+
border-width: 1px;
21+
border-style: dashed;
22+
border-color: #C0C0C0;
23+
}
24+
25+
img.hideshow {
26+
padding-right: 1ex;
27+
}
28+
29+
img.ilink {
30+
border-width: 0px;
31+
padding-left: 1ex;
32+
}
33+
34+
/* for notes and image export, fc, 18.7.2005. */
35+
.images {
36+
max-width:50%;
37+
}
38+
39+
.nodecontent {display:inline;}
40+
41+
.note-and-attributes {
42+
margin-left:10%;
43+
color:#0000FF;
44+
}
45+
46+
table.attributes {
47+
border-collapse:collapse;
48+
empty-cells:show;
49+
border:thin black solid;
50+
}
51+
table.attributes td,th {
52+
border:thin black solid;
53+
padding-top:2px;
54+
padding-bottom:2px;
55+
padding-left:3px;
56+
padding-right:3px;
57+
}
58+
table.attributes th {
59+
text-align:center;
60+
}
61+
table.attributes caption {
62+
margin-top:1em;
63+
font-style:italic;
64+
text-align:center;
65+
}

0 commit comments

Comments
 (0)