Index: Autostyle.html
===================================================================
--- Autostyle.html	(revision 5643)
+++ Autostyle.html	(revision 5644)
@@ -5,8 +5,8 @@
 <!--AUTO navbar begin-->
 <table border=0 cellspacing=2 cellpadding=10  bgcolor="#eeeeee" width="100%">
 <tr>
-<th align=center bgcolor="#339966"> <a href="$ROOT$index.html"> About </a>
-<th align=center bgcolor="#339966"> <a href="http://repo.hu/cgi-bin/pool.cgi?project=sch-rnd-aux"> Knowledge pool </a> | <a href="tutorial"> Tutorial </a>
+<th align=center bgcolor="#339966"> <a href="$ROOT$index.html"> Main </a>
+<th align=center bgcolor="#339966"> <a href="$ROOT$doc.html">Doc</a>&nbsp;&amp;&nbsp; <a href="http://repo.hu/cgi-bin/pool.cgi?project=sch-rnd-aux"> Knowledge pool </a> &nbsp;&amp;&nbsp; <a href="tutorial"> Tutorial </a>
 <th align=center bgcolor="#339966"> <a href="$ROOT$state.html"> Current state </a>
 <th align=center bgcolor="#339966"> <a href="$ROOT$design/"> Design </a>
 </table>