From f409449074f4d4195827b976afac6089c6bfeae0 Mon Sep 17 00:00:00 2001
From: Andrew Woods <awoods@duraspace.org>
Date: Thu, 22 Jun 2017 09:06:08 -0400
Subject: [PATCH] Reduce size of Fedora logo due to Respec changes

- https://github.com/w3c/respec/issues/1290
---
 index.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index c9a1661..86909df 100644
--- a/index.html
+++ b/index.html
@@ -85,7 +85,10 @@
             ]
           }],
           maxTocLevel: 3,
-          logos: [{src: "http://fedora.info/assets/fedora_logo.png"}],
+          logos: [{src: "http://fedora.info/assets/fedora_logo.png",
+                   alt: "Fedora Repository logo",
+                   width: 202,
+                   height: 70}],
           overrideCopyright: "<p class='copyright'>This document is licensed under a <a class='subfoot' href='https://creativecommons.org/licenses/by/4.0/' rel='license'>Creative Commons Attribution 4.0 License</a>.</p>"
       };
     </script>