X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2019-kvm-forum%2Fstyle.css;h=abb253993879a361fe0836d7191c2e52d2b93c58;hb=81907fec7271bafe1f748c97773a776de50ee7ad;hp=35588a82536e43dabf65a8bba94f5d499815e2b3;hpb=5b8d6fe8e9223d08f0802e0666b21416a0a67119;p=libguestfs-talks.git

diff --git a/2019-kvm-forum/style.css b/2019-kvm-forum/style.css
index 35588a8..abb2539 100644
--- a/2019-kvm-forum/style.css
+++ b/2019-kvm-forum/style.css
@@ -1,12 +1,13 @@
-/* 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);*/
@@ -18,23 +19,23 @@ body td, body th { /* why?? */
 }
 
 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. */
@@ -45,7 +46,7 @@ div#titlepage {
 }
 
 div#titlepage p.title {
-    color: rgb(204,0,0);
+    color: rgb(238,0,0);
     font-weight: bold;
     font-size: 48px;
     text-align: left;
@@ -68,7 +69,7 @@ pre.code {
 }
 
 code {
-    color: rgb(204,0,0);
+    color: rgb(238,0,0);
 }
 
 /* Bullet points */
@@ -79,7 +80,7 @@ li {
 /* 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;
@@ -93,7 +94,7 @@ div.plugins {
 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;
@@ -115,10 +116,10 @@ div.plugins ul li {
 }
 
 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;
 }
@@ -126,12 +127,12 @@ div.plugins ul li.highlighted {
 /* 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;
@@ -140,7 +141,7 @@ div.filters {
 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;
@@ -150,7 +151,7 @@ div.filters ul {
     position: absolute;
     top: 10%;
     width: 700px;
-    height: 180px;
+    height: 260px;
     column-count: 4;
     list-style-type: none;
     margin: 0;
@@ -162,14 +163,33 @@ div.filters ul li {
 }
 
 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;
 }
 
+/* Colored highlighting */
+div.plugins ul li.bg_r,
+div.filters ul li.bg_r {
+    background: #b00;
+    color: white;
+}
+
+div.plugins ul li.bg_g,
+div.filters ul li.bg_g {
+    background: #0b0;
+    color: white;
+}
+
+div.plugins ul li.bg_b,
+div.filters ul li.bg_b {
+    background: #00b;
+    color: white;
+}
+
 /* For images which must be centered on the page. */
 div.allcenter {
     display: flex;
@@ -183,31 +203,31 @@ div.all-center img {
 
 /* 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),
@@ -241,3 +261,21 @@ span.warning {
     background-color: yellow;
     font-weight: bold;
 }
+
+/* Attribution for artwork etc. */
+p.attribution {
+    position: absolute;
+    right: 10px;
+    bottom: 10px;
+    text-align: right;
+    font-size: 10pt;
+}
+
+/* Tables */
+table#border {
+    border-collapse: collapse;
+}
+
+table#border th, table#border td {
+    border: 1px solid black;
+}