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 /* For images which must be centered on the page. */
86 justify-content: center;
94 /* Attribution for artwork etc. */
105 border-collapse: collapse;
108 table#border th, table#border td {
109 border: 1px solid black;