From fe9c6eb86b162560c502675619b72d866df15601 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 11 Dec 2018 10:59:37 -0800
Subject: [PATCH] INSTALL: make text on button bigger.

---
 INSTALL.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index ed4b6b1aa..3ef3eeb82 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -8,8 +8,9 @@ Look out for the following name for your platform:
 - Linux: `*-amd64.deb`
 
 <a href="https://github.com/jgm/pandoc/releases/latest"
-class="btn btn-block btn-primary"><strong>Download the latest
-installer</strong></a>
+class="btn btn-block btn-primary"><span style="font-size:
+140%">Download the latest
+installer</span></a>
 
 For alternative ways to install pandoc, see below
 under the heading for your operating system.