--- 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_ ]