1 /* Red Hat red is rgb(204,0,0). */
4 background: url(redhat.jpg) no-repeat;
5 background-position: 98% 0;
7 font-family: liberation, helvetica;
19 border-bottom: 2px solid rgb(204,0,0);
31 div#titlepage p.title {
37 div#titlepage author {
41 /* In-page controls. */
51 text-decoration: none;
58 p#pagecontrols a:hover {
62 /* Bubble around names of virt-tools. */
68 background-color: rgb(204,0,0);
69 -moz-border-radius: 0.2em;