# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1452437610 -7200
# Node ID 4b3a62305c2bb6e326abf79bb23076a9f2b199e3
# Parent  c14dba10e59d137b8c91c136fa8ac5d975353fd6
Mark navigation by class and center it.

diff -r c14dba10e59d -r 4b3a62305c2b header.rst
--- 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_ ]
 
diff -r c14dba10e59d -r 4b3a62305c2b rst.css
--- a/rst.css	Sun Jan 10 16:52:45 2016 +0200
+++ b/rst.css	Sun Jan 10 16:53:30 2016 +0200
@@ -1,5 +1,7 @@
 body, frameset { background-color: ivory; }
 body { padding: 0 10% 0 10%; }
+p.nav { text-align: center; }
+
 a { text-decoration:none; }
 a:link { color: brown; }
 a:visited { color: IndianRed; }