diff --git a/zxlive/mainwindow.py b/zxlive/mainwindow.py
index 55111ac4..d318893e 100644
--- a/zxlive/mainwindow.py
+++ b/zxlive/mainwindow.py
@@ -162,6 +162,7 @@ def __init__(self) -> None:
         rewrite_menu.addAction(new_rewrite_from_file)
         rewrite_menu.addAction(self.proof_as_rewrite_action)
 
+        menu.setStyleSheet("QMenu::item:disabled { color: gray }")
         self._reset_menus(False)
 
     def open_demo_graph(self) -> None: