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;
11 /* Can be used to scale the whole document. */
12 /*transform: translate(-10%,-10%) scale(0.75,0.75);*/
15 body td, body th { /* why?? */
26 border-bottom: 2px solid rgb(204,0,0);
33 border-bottom: 2px solid rgb(204,0,0);
47 div#titlepage p.title {
54 div#titlepage p.author {
59 div#titlepage p.abstract {
82 border: 1px solid rgb(204,0,0);
86 /* Position relative is needed so that items may be
92 div.plugins p#caption {
94 bottom: -5px; right: 5px;
102 list-style-type: none;
104 transform: translateY(15%);
113 div.plugins ul li.highlighted {
114 border: 1px solid rgb(204,0,0);
125 border: 1px solid rgb(204,0,0);
129 /* Position relative is needed so that items may be
130 positioned inside. */
135 div.filters p.filtercaption {
137 bottom: -5px; right: 5px;
145 list-style-type: none;
147 transform: translateY(15%);
156 div.filters ul li.highlighted {
157 border: 1px solid rgb(204,0,0);