1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
|
/* === === === === === === === === === === === === === === === === ===
This file: texinfo_bright_colors.css
Version: 1.0
Date: September 13, 2010
Author: Jaakko Hollm@'en, e-mail: Jaakko.Hollmen@tkk.fi
The purpose of this cascading style sheet (CSS) style file named
"texinfo_bright_colors.css" is to introduce several bright and
contrasting colors for the structural elements of an HTML file.
The primary focus of the CSS style is to observe the sturucture
of HTML files created with Texinfo documentation system, more
specifically texi2html.
This is NOT a presentation style but a visualization of the
structure of an HTML file through coloring of the elements.
The style file may turn out to be useful for both developers of the
HTML outputting tools and the Texinfo documentation writers who
are interested to observe the outputted HTML structure.
The coloring has been achieved by associating a background-color
to important HTML elements. Minimal formatting has been done,
although the body font and the headers h1 to h5 have been given
absolute sizes, and some expanded space has been introduced to
horizontal rulers hr in order to make them more visible. There
are margins around the document resembling a book-like presentation
in the browser.
This Cascading Style Sheet (CSS) confroms to the CSS standard,
level 2.1. You can validate the correctness of your own
creation or modification of the current CSS style at the Web
address: http://jigsaw.w3.org/css-validator/ by one the three
input methods available.
If you edit your already produced HTML file generated by hand,
change the section <style>...</style> with
<link rel="stylesheet" href="./texinfo_bright_colors.css">
and put the CSS file in the same directory, or simply by
inclusion of the css file when compiling:
texi2dvi --css-include=texinfo_bright_colors.css my_doc.texi
Note: The output will be very "colorful", with very, very bright
colors. You have been warned.
--- --- --- --- --- --- --- --- --- --- --- --- --- --- --- ---
(c) Copyright, Jaakko Hollm@'en, Finland, Jaakko.Hollmen@tkk.fi
September, 2010
The current file "texinfo_bright_colors.css" is free software:
you can redistribute it and/or modify it under the terms of the
GNU General Public License as published by the Free Software
Foundation, either version 3 of the License, or (at your option)
any later version.
The current file "texinfo_bright_colors.css" is distributed in
the hope that it will be useful, but WITHOUT ANY WARRANTY;
without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License for
more details.
=== === === === === === === === === === === === === === === === */
body {
margin: 30px 10% 30px 8%;
background-color: white;
font-family: serif;
font-size: 1.0em;
}
h1 {
font-size: 2.4em;
background-color: #FF0000;
}
h2 {
font-size: 2.0em;
background-color: #FF0066;
}
h3 {
font-size: 1.8em;
background-color: #FF00CC;
}
h4 {
font-size: 1.6em;
background-color: #FF33FF;
;
}
h5 {
font-size: 1.4em;
background-color: #FF99FF;
}
p {
background-color: #B0B0B0;
}
blockquote {
background-color: #FFCCFF;
}
div.shortcontents {
background-color: #FF9900;
}
div.contents {
background-color: #FF9900;
}
div.defun {
background-color: #FF9900;
}
div.float {
background-color: #FF9900;
}
div.footnote {
background-color: #FF9900;
}
div.node {
background-color: #FF9900;
}
ul {
background-color: #FF9900;
}
ol {
background-color: #CCFF33;
}
table {
background-color: #FFFF00;
}
tr {
background-color: #66FF00;
}
td {
background-color: #66CC00;
}
dl {
background-color: #00FF00;
}
dt {
background-color: #66CC00;
}
dd {
background-color: #00FFFF;
}
pre.display {
background-color: #33CCFF;
}
pre.smalldisplay {
background-color: #33CCFF;
}
pre.example {
background-color: #33CCFF;
}
pre.smallexample {
background-color: #33CCFF;
}
pre.format {
background-color: #33CCFF;
}
pre.smallformat {
background-color: #33CCFF;
}
pre.lisp {
background-color: #33CCFF;
}
pre.smalllisp {
background-color: #33CCFF;
}
pre.sp {
background-color: #33CCFF;
}
pre.verbatim {
background-color: #33CCFF;
}
code {
background-color: #00FF00;
}
hr {
background-color: #0000FF;
margin: 0.5em;
padding: 0.5em;
}
|