From 9da584ded4d5afd2cdba1d027c6646b412b520ce Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Mon, 4 May 2020 03:36:23 -0700
Subject: [PATCH] Make page lists bold

---
 themes/vanilla/assets/scss/style.scss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/themes/vanilla/assets/scss/style.scss b/themes/vanilla/assets/scss/style.scss
index a0bbcae..14a7616 100755
--- a/themes/vanilla/assets/scss/style.scss
+++ b/themes/vanilla/assets/scss/style.scss
@@ -173,6 +173,7 @@ hr.header-divider {
 
 ul.page-list a {
   border-bottom: none;
+  font-weight: 700;
 }
 
 .katex-html {