remove the "add comment" button from printed media

diff --git a/doc/style.css b/doc/style.css
index 8c16e7a2f9f26e8ef044c15ac3eb17e6454f2bd2..9f828996950c1c6b43a6d7677a95859ae4107305 100644 (file)
--- 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 */