remove the "add comment" button from printed media

2018-10-11 14:32:41 -04:00 · 2018-10-11 14:32:41 -04:00 · b760b8f171
parent d7777f12df
commit b760b8f171
1 changed files with 1 additions and 0 deletions
--- 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 */