Me respondo yo mismo
La solución es utilizar display:none en vez de visibility:hidden. Por ejemplo, en el print.css añadimos esta clase (lo demás igual que el estilo.css):
En el html:
Código:
...
<div class="menu nover">
// Aquí el menú
</div>
...
Venga, un saludo