--- a/header.rst	Sun Jan 10 16:52:45 2016 +0200
+++ b/header.rst	Sun Jan 10 16:53:30 2016 +0200
@@ -9,5 +9,7 @@
 .. _Hacking: HACKING.html
 .. _Authors: AUTHORS.html
 
+.. class:: nav
+
 [ Play_ | About_ | Changes_ | AIs_ | Hacking_ | Authors_ ]