From 0e11c00e1bbf176c5ab7b721d5a5c71842bd8293 Mon Sep 17 00:00:00 2001
From: fennecJ <58484289+fennecJ@users.noreply.github.com>
Date: Tue, 31 Aug 2021 23:49:18 +0800
Subject: [PATCH] Add GitHub buttons in rendered HTML (#85)

GitHub buttons are rendered in the generated HTML:
one is GitHub project page; another is PDF download.

Close #84
---
 html.cfg | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/html.cfg b/html.cfg
index 3b0dd5c..fa779bd 100644
--- a/html.cfg
+++ b/html.cfg
@@ -51,9 +51,20 @@
     right: 50px;
 }}
 
-\begin{document}
-\EndPreamble
+\Css{.right {
+    text-align: right;
+}}
 
-\begin{flushright}
-\href{https://github.com/sysprog21/lkmpg/releases/download/latest/lkmpg.pdf}{Download PDF document}
-\end{flushright}
\ No newline at end of file
+\AtBeginDocument{%
+\Configure{@HEAD}{\HCode{
+    <script async defer src="https://buttons.github.io/buttons.js"></script>
+    <div class="right">
+        <a class="github-button" href="https://github.com/sysprog21/lkmpg" data-size="large" aria-label="View on GitHub">View on GitHub</a>
+        <a class="github-button" href="https://github.com/sysprog21/lkmpg/releases/download/latest/lkmpg.pdf" data-icon="octicon-download" data-size="large" aria-label="Download PDF document">Download PDF document</a>
+        <br><br>
+    </div>
+    \Hnewline}}
+}
+
+\begin{document}
+\EndPreamble
\ No newline at end of file