1 /* Red Hat red is rgb(238,0,0). */
4 background: url(redhat.png) no-repeat;
5 background-position: 98% 6px;
6 background-size: auto 48px;
7 /* font-size: 28pt; */ /* For max */
8 font-size: 20pt; /* For 1024x768 */
9 font-family: Red Hat Text, liberation, helvetica;
10 /* font-family: helvetica; */
12 /* Can be used to scale the whole document. */
13 /*transform: translate(-10%,-10%) scale(0.75,0.75);*/
16 body td, body th { /* why?? */
27 border-bottom: 2px solid rgb(238,0,0);
34 border-bottom: 2px solid rgb(238,0,0);
48 div#titlepage p.title {
55 div#titlepage p.author {
60 div#titlepage p.abstract {
83 border: 1px solid rgb(238,0,0);
89 /* Position relative is needed so that items may be
94 div.plugins p#caption {
96 bottom: -5px; right: 5px;
109 list-style-type: none;
118 div.plugins ul li.highlighted {
119 border: 1px solid rgb(238,0,0);
130 border: 1px solid rgb(238,0,0);
136 /* Position relative is needed so that items may be
137 positioned inside. */
141 div.filters p.filtercaption {
143 bottom: -5px; right: 5px;
156 list-style-type: none;
165 div.filters ul li.highlighted {
166 border: 1px solid rgb(238,0,0);
174 /* Colored highlighting */
175 div.plugins ul li.bg_r,
176 div.filters ul li.bg_r {
181 div.plugins ul li.bg_g,
182 div.filters ul li.bg_g {
187 div.plugins ul li.bg_b,
188 div.filters ul li.bg_b {
193 /* For images which must be centered on the page. */
196 justify-content: center;
206 text-shadow: 2px 2px 0 rgb(238,0,0),
207 -2px 2px 0 rgb(238,0,0),
208 2px -2px 0 rgb(238,0,0),
209 -2px -2px 0 rgb(238,0,0),
210 0px 2px 0 rgb(238,0,0),
211 0px -2px 0 rgb(238,0,0),
212 -2px 0px 0 rgb(238,0,0),
213 2px 0px 0 rgb(238,0,0),
214 4px 4px 0 rgb(238,0,0),
215 -4px 4px 0 rgb(238,0,0),
216 4px -4px 0 rgb(238,0,0),
217 -4px -4px 0 rgb(238,0,0),
219 0px 4px 0 rgb(238,0,0),
220 0px -4px 0 rgb(238,0,0),
221 -4px 0px 0 rgb(238,0,0),
222 4px 0px 0 rgb(238,0,0),
223 2px 4px 0 rgb(238,0,0),
224 -2px 4px 0 rgb(238,0,0),
225 2px -4px 0 rgb(238,0,0),
226 -2px -4px 0 rgb(238,0,0),
227 4px 2px 0 rgb(238,0,0),
228 -4px 2px 0 rgb(238,0,0),
229 4px -2px 0 rgb(238,0,0),
230 -4px -2px 0 rgb(238,0,0),
232 4px 4px 0 rgb(255,128,128),
233 -4px 4px 0 rgb(255,128,128),
234 4px -4px 0 rgb(255,128,128),
235 -4px -4px 0 rgb(255,128,128),
236 0px 4px 0 rgb(255,128,128),
237 0px -4px 0 rgb(255,128,128),
238 -4px 0px 0 rgb(255,128,128),
239 4px 0px 0 rgb(255,128,128),
240 8px 8px 0 rgb(255,128,128),
241 -8px 8px 0 rgb(255,128,128),
242 8px -8px 0 rgb(255,128,128),
243 -8px -8px 0 rgb(255,128,128),
245 0px 8px 0 rgb(255,128,128),
246 0px -8px 0 rgb(255,128,128),
247 -8px 0px 0 rgb(255,128,128),
248 8px 0px 0 rgb(255,128,128),
249 4px 8px 0 rgb(255,128,128),
250 -4px 8px 0 rgb(255,128,128),
251 4px -8px 0 rgb(255,128,128),
252 -4px -8px 0 rgb(255,128,128),
253 8px 4px 0 rgb(255,128,128),
254 -8px 4px 0 rgb(255,128,128),
255 8px -4px 0 rgb(255,128,128),
256 -8px -4px 0 rgb(255,128,128);
259 /* Warning symbol. */
261 background-color: yellow;
265 /* Attribution for artwork etc. */