From c3236560c234aaefe9239ba2e391f540f1d6408a Mon Sep 17 00:00:00 2001
From: Mauro Bieg <mb21@users.noreply.github.com>
Date: Wed, 19 Dec 2018 19:41:44 +0100
Subject: [PATCH] INSTALL.md change button (#5167)

---
 INSTALL.md | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 3ef3eeb82..e19f58334 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,16 +1,11 @@
 # Installing pandoc
 
 The simplest way to get the latest pandoc release is to use the installer.
-Look out for the following name for your platform:
-
-- Windows: `*-windows-x86_64.msi` (unless you're still on 32-bit),
-- macOS: `*-macOS.pkg`
-- Linux: `*-amd64.deb`
 
 <a href="https://github.com/jgm/pandoc/releases/latest"
-class="btn btn-block btn-primary"><span style="font-size:
-140%">Download the latest
-installer</span></a>
+  class="btn btn-primary" id="downloadInstallerBtn">
+  Download the latest installer
+</a>
 
 For alternative ways to install pandoc, see below
 under the heading for your operating system.