From: Antoine Beaupré <anarcat@debian.org>
Date: Thu, 11 Oct 2018 18:32:41 +0000 (-0400)
Subject: remove the "add comment" button from printed media
X-Git-Tag: 3.20190207~10
X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/commitdiff_plain/b760b8f171fb99013c7e1462f79df3522e973472

remove the "add comment" button from printed media
---

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 */