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 /* For images which must be centered on the page. */
177 justify-content: center;
187 text-shadow: 2px 2px 0 rgb(238,0,0),
188 -2px 2px 0 rgb(238,0,0),
189 2px -2px 0 rgb(238,0,0),
190 -2px -2px 0 rgb(238,0,0),
191 0px 2px 0 rgb(238,0,0),
192 0px -2px 0 rgb(238,0,0),
193 -2px 0px 0 rgb(238,0,0),
194 2px 0px 0 rgb(238,0,0),
195 4px 4px 0 rgb(238,0,0),
196 -4px 4px 0 rgb(238,0,0),
197 4px -4px 0 rgb(238,0,0),
198 -4px -4px 0 rgb(238,0,0),
200 0px 4px 0 rgb(238,0,0),
201 0px -4px 0 rgb(238,0,0),
202 -4px 0px 0 rgb(238,0,0),
203 4px 0px 0 rgb(238,0,0),
204 2px 4px 0 rgb(238,0,0),
205 -2px 4px 0 rgb(238,0,0),
206 2px -4px 0 rgb(238,0,0),
207 -2px -4px 0 rgb(238,0,0),
208 4px 2px 0 rgb(238,0,0),
209 -4px 2px 0 rgb(238,0,0),
210 4px -2px 0 rgb(238,0,0),
211 -4px -2px 0 rgb(238,0,0),
213 4px 4px 0 rgb(255,128,128),
214 -4px 4px 0 rgb(255,128,128),
215 4px -4px 0 rgb(255,128,128),
216 -4px -4px 0 rgb(255,128,128),
217 0px 4px 0 rgb(255,128,128),
218 0px -4px 0 rgb(255,128,128),
219 -4px 0px 0 rgb(255,128,128),
220 4px 0px 0 rgb(255,128,128),
221 8px 8px 0 rgb(255,128,128),
222 -8px 8px 0 rgb(255,128,128),
223 8px -8px 0 rgb(255,128,128),
224 -8px -8px 0 rgb(255,128,128),
226 0px 8px 0 rgb(255,128,128),
227 0px -8px 0 rgb(255,128,128),
228 -8px 0px 0 rgb(255,128,128),
229 8px 0px 0 rgb(255,128,128),
230 4px 8px 0 rgb(255,128,128),
231 -4px 8px 0 rgb(255,128,128),
232 4px -8px 0 rgb(255,128,128),
233 -4px -8px 0 rgb(255,128,128),
234 8px 4px 0 rgb(255,128,128),
235 -8px 4px 0 rgb(255,128,128),
236 8px -4px 0 rgb(255,128,128),
237 -8px -4px 0 rgb(255,128,128);
240 /* Warning symbol. */
242 background-color: yellow;
246 /* Attribution for artwork etc. */