1 /* Red Hat red is rgb(204,0,0). */
4 background: url(redhat.png) no-repeat;
5 background-position: 98% 0;
6 font-size: 28pt; /* For max */
7 /* font-size: 20pt; */ /* For 1024x768 */
8 /* font-family: liberation, helvetica; */
9 font-family: helvetica;
12 body td, body th { /* why?? */
23 border-bottom: 2px solid rgb(204,0,0);
35 div#titlepage p.title {
41 div#titlepage author {