From 80e5c2cac40464bcfad12abc66686484b83f2561 Mon Sep 17 00:00:00 2001 From: Andrea Cardaci Date: Mon, 21 May 2018 23:09:02 +0200 Subject: [PATCH] Add GitHub buttons --- _includes/page_title.html | 4 ++++ _layouts/common.html | 1 + style.scss | 9 +++++++++ 3 files changed, 14 insertions(+) diff --git a/_includes/page_title.html b/_includes/page_title.html index df8efdb..fe9faa2 100644 --- a/_includes/page_title.html +++ b/_includes/page_title.html @@ -3,4 +3,8 @@ .. / {% endif %} {{ include.title }} +
+ Star + Fork +
diff --git a/_layouts/common.html b/_layouts/common.html index 6a5cdf0..b13c6c2 100644 --- a/_layouts/common.html +++ b/_layouts/common.html @@ -15,6 +15,7 @@ + {{ content }} diff --git a/style.scss b/style.scss index c8c1d38..2dd6be2 100644 --- a/style.scss +++ b/style.scss @@ -115,3 +115,12 @@ a:hover { font-size: 1.4rem; font-weight: bold; } + +.github-buttons { + float: right; + + // avoid displaying the link text during loading + a.github-button { + visibility: hidden; + } +}