-/* Red Hat red is rgb(204,0,0). */
+/* Red Hat red is rgb(238,0,0). */
body {
background: url(redhat.png) no-repeat;
- background-position: 98% 0;
+ background-position: 98% 6px;
+ background-size: auto 48px;
/* font-size: 28pt; */ /* For max */
font-size: 20pt; /* For 1024x768 */
- /* font-family: liberation, helvetica; */
- font-family: helvetica;
+ font-family: Red Hat Text, liberation, helvetica;
+ /* font-family: helvetica; */
/* Can be used to scale the whole document. */
/*transform: translate(-10%,-10%) scale(0.75,0.75);*/
}
h1 {
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
/*font-size: 48px;*/
font-size: 40px;
top: 8;
left: 0;
- border-bottom: 2px solid rgb(204,0,0);
+ border-bottom: 2px solid rgb(238,0,0);
}
h2 {
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
font-size: 32px;
font-style: italic;
- border-bottom: 2px solid rgb(204,0,0);
+ border-bottom: 2px solid rgb(238,0,0);
}
b {
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
}
/* Title page. */
}
div#titlepage p.title {
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
font-weight: bold;
font-size: 48px;
text-align: left;
}
code {
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
}
/* Bullet points */
/* Plugins box. */
div.plugins {
background: #f8f8ff;
- border: 1px solid rgb(204,0,0);
+ border: 1px solid rgb(238,0,0);
border-radius: 15px;
margin-left: auto;
margin-right: auto;
div.plugins p#caption {
position: absolute;
bottom: -5px; right: 5px;
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
text-align: right;
font-size: 16px;
font-weight: bold;
}
div.plugins ul li.highlighted {
- border: 1px solid rgb(204,0,0);
+ border: 1px solid rgb(238,0,0);
background: #fff;
padding-left: 10px;
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
border-radius: 20px;
font-weight: bold;
}
/* Filters box. */
div.filters {
background: #f8fff8;
- border: 1px solid rgb(204,0,0);
+ border: 1px solid rgb(238,0,0);
border-radius: 15px;
margin-left: auto;
margin-right: auto;
width: 800px;
- height: 200px;
+ height: 280px;
/* Position relative is needed so that items may be
positioned inside. */
position: relative;
div.filters p.filtercaption {
position: absolute;
bottom: -5px; right: 5px;
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
text-align: right;
font-size: 16px;
font-weight: bold;
position: absolute;
top: 10%;
width: 700px;
- height: 180px;
+ height: 260px;
column-count: 4;
list-style-type: none;
margin: 0;
}
div.filters ul li.highlighted {
- border: 1px solid rgb(204,0,0);
+ border: 1px solid rgb(238,0,0);
background: #fff;
padding-left: 10px;
- color: rgb(204,0,0);
+ color: rgb(238,0,0);
border-radius: 20px;
font-weight: bold;
}
/* Outlined text. */
.outline {
- text-shadow: 2px 2px 0 rgb(204,0,0),
- -2px 2px 0 rgb(204,0,0),
- 2px -2px 0 rgb(204,0,0),
- -2px -2px 0 rgb(204,0,0),
- 0px 2px 0 rgb(204,0,0),
- 0px -2px 0 rgb(204,0,0),
- -2px 0px 0 rgb(204,0,0),
- 2px 0px 0 rgb(204,0,0),
- 4px 4px 0 rgb(204,0,0),
- -4px 4px 0 rgb(204,0,0),
- 4px -4px 0 rgb(204,0,0),
- -4px -4px 0 rgb(204,0,0),
-
- 0px 4px 0 rgb(204,0,0),
- 0px -4px 0 rgb(204,0,0),
- -4px 0px 0 rgb(204,0,0),
- 4px 0px 0 rgb(204,0,0),
- 2px 4px 0 rgb(204,0,0),
- -2px 4px 0 rgb(204,0,0),
- 2px -4px 0 rgb(204,0,0),
- -2px -4px 0 rgb(204,0,0),
- 4px 2px 0 rgb(204,0,0),
- -4px 2px 0 rgb(204,0,0),
- 4px -2px 0 rgb(204,0,0),
- -4px -2px 0 rgb(204,0,0),
+ text-shadow: 2px 2px 0 rgb(238,0,0),
+ -2px 2px 0 rgb(238,0,0),
+ 2px -2px 0 rgb(238,0,0),
+ -2px -2px 0 rgb(238,0,0),
+ 0px 2px 0 rgb(238,0,0),
+ 0px -2px 0 rgb(238,0,0),
+ -2px 0px 0 rgb(238,0,0),
+ 2px 0px 0 rgb(238,0,0),
+ 4px 4px 0 rgb(238,0,0),
+ -4px 4px 0 rgb(238,0,0),
+ 4px -4px 0 rgb(238,0,0),
+ -4px -4px 0 rgb(238,0,0),
+
+ 0px 4px 0 rgb(238,0,0),
+ 0px -4px 0 rgb(238,0,0),
+ -4px 0px 0 rgb(238,0,0),
+ 4px 0px 0 rgb(238,0,0),
+ 2px 4px 0 rgb(238,0,0),
+ -2px 4px 0 rgb(238,0,0),
+ 2px -4px 0 rgb(238,0,0),
+ -2px -4px 0 rgb(238,0,0),
+ 4px 2px 0 rgb(238,0,0),
+ -4px 2px 0 rgb(238,0,0),
+ 4px -2px 0 rgb(238,0,0),
+ -4px -2px 0 rgb(238,0,0),
4px 4px 0 rgb(255,128,128),
-4px 4px 0 rgb(255,128,128),
background-color: yellow;
font-weight: bold;
}
+
+/* Attribution for artwork etc. */
+p.attribution {
+ position: absolute;
+ right: 10px;
+ bottom: 10px;
+ text-align: right;
+ font-size: 10pt;
+}