Index: gc_lang/fr/webext/content_scripts/menu.css
==================================================================
--- gc_lang/fr/webext/content_scripts/menu.css
+++ gc_lang/fr/webext/content_scripts/menu.css
@@ -66,10 +66,14 @@
     background-color: hsl(210, 50%, 30%);
     font-family: "Trebuchet MS", "Fira Sans", "Liberation Sans", sans-serif;
     z-index: 2147483640; /* maximum is 2147483647: https://stackoverflow.com/questions/491052/minimum-and-maximum-value-of-z-index */
     text-align: left;
 }
+
+@media print {
+    .grammalecte_menu { display: none; }
+}
 
 .grammalecte_menu > div {
     line-height: 21px;
 }
 .grammalecte_menu > div.grammalecte_menu_close_button {