From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 23 Oct 2019 10:01:57 +0000 (+0100)
Subject: Update to new Red Hat brand.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=d99afd524965390cf7749ba2b828bcc7d9a52f4a;p=libguestfs-talks.git

Update to new Red Hat brand.
---

diff --git a/2019-kvm-forum/redhat.png b/2019-kvm-forum/redhat.png
index f50076a..c955eb0 100644
Binary files a/2019-kvm-forum/redhat.png and b/2019-kvm-forum/redhat.png differ
diff --git a/2019-kvm-forum/style.css b/2019-kvm-forum/style.css
index 35588a8..fe3b65b 100644
--- a/2019-kvm-forum/style.css
+++ b/2019-kvm-forum/style.css
@@ -1,4 +1,4 @@
-/* Red Hat red is rgb(204,0,0). */
+/* Red Hat red is rgb(238,0,0). */
 
 body {
     background: url(redhat.png) no-repeat;
@@ -18,23 +18,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 +45,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 +68,7 @@ pre.code {
 }
 
 code {
-    color: rgb(204,0,0);
+    color: rgb(238,0,0);
 }
 
 /* Bullet points */
@@ -79,7 +79,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 +93,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 +115,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,7 +126,7 @@ 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;
@@ -140,7 +140,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;
@@ -162,10 +162,10 @@ 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;
 }
@@ -183,31 +183,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),