From 8999fdacc48725e4cb96d8800139115e53096fae Mon Sep 17 00:00:00 2001 From: Hendrik Kleinwaechter Date: Fri, 28 Jul 2023 11:25:57 +0200 Subject: [PATCH] Use same css for emoji links --- website/modify_build.rb | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/website/modify_build.rb b/website/modify_build.rb index 92e3154..34a3cbb 100644 --- a/website/modify_build.rb +++ b/website/modify_build.rb @@ -217,8 +217,18 @@ class ModifyBuild home_html = %Q{Home} appendix_html = %Q{ - ⭐️ Donate - 📚 Hardcover Book + + + ⭐️ + Donate + + + + + 📚 + Hardcover Book + + } menu.inner_html = "#{home_html} #{menu.inner_html} #{appendix_html}" doc.to_html