1 /* Red Hat red is rgb(204,0,0). */
4 background: url(redhat.jpg) no-repeat;
5 background-position: 98% 0;
6 font-size: 24pt; /* For max */
7 /* font-size: 20pt; */ /* For 1024x768 */
8 font-family: liberation, helvetica;
22 border-bottom: 2px solid rgb(204,0,0);
34 div#titlepage p.title {
40 div#titlepage author {
44 /* Bubble around names of virt-tools. */
50 background-color: rgb(204,0,0);
51 -moz-border-radius: 0.2em;
59 background-color: white;
64 padding-bottom: 0.5em;
82 background-color: rgb(204,0,0);