From ec60201a622605298663bfb2b8ac4e30668e63ba Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop@gmail.com>
Date: Wed, 11 Sep 2019 23:18:38 -0400
Subject: [PATCH] user guide: add rscons logo

---
 rb/assets/user_guide.html.erb | 5 +++++
 rb/gen_user_guide.rb          | 4 +++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/rb/assets/user_guide.html.erb b/rb/assets/user_guide.html.erb
index 95df441..acc08da 100644
--- a/rb/assets/user_guide.html.erb
+++ b/rb/assets/user_guide.html.erb
@@ -31,6 +31,11 @@
       .separator {
         height: 2em;
       }
+      .img_block_center {
+        display: block;
+        margin-left: auto;
+        margin-right: auto;
+      }
       .page_nav {
         width: 100%;
         table-layout: fixed;
diff --git a/rb/gen_user_guide.rb b/rb/gen_user_guide.rb
index 42f335e..8627dc1 100644
--- a/rb/gen_user_guide.rb
+++ b/rb/gen_user_guide.rb
@@ -154,7 +154,8 @@ class Generator
   end
 
   def render_toc
-    toc_content = %[<h1>Table of Contents</h1>\n]
+    toc_content = %[<img class="img_block_center" src="rscons_logo_1000.png" />]
+    toc_content += %[<h1>Table of Contents</h1>\n]
     @sections.each do |section|
       indent = section.number.split(".").size - 1
       toc_content += %[<span style="padding-left: #{4 * indent}ex;">]
@@ -223,5 +224,6 @@ end
 input = load_file("doc/user_guide.md")
 FileUtils.rm_rf("gen/user_guide")
 FileUtils.mkdir_p("gen/user_guide")
+FileUtils.cp("img/rscons_logo_1000.png", "gen/user_guide")
 Generator.new(input, "gen/user_guide/user_guide.html", false)
 Generator.new(input, "gen/user_guide", true)