From b760b8f171fb99013c7e1462f79df3522e973472 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Thu, 11 Oct 2018 14:32:41 -0400
Subject: [PATCH] remove the "add comment" button from printed media

---
 doc/style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/style.css b/doc/style.css
index 8c16e7a2f..9f8289969 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -286,6 +286,7 @@ div.progress-done {
 	#searchform { display: none; }
 	.blogform, #blogform { display: none; }
 	#backlinks { display: none; }
+	.addcomment { display: none; }
 }
 
 /* infobox template */