Index: doc.html
===================================================================
--- doc.html	(revision 13698)
+++ doc.html	(revision 13699)
@@ -14,10 +14,10 @@
 <tr>
 <th align=center bgcolor="#ccc0cc"> <a href="index.html"> Main </a>
 <th align=center bgcolor="#ccc0cc"> <a href="news.html"> News </a>
-<th align=center bgcolor="#ccc0cc"> <a href="doc.html"> Doc </a>
+<th align=center bgcolor="#ccc0cc"> <a href="doc.html">Doc</a>&nbsp;&amp;&nbsp;<a href="http://repo.hu/projects/pcb-rnd-aux/pool">pool</a>
 <th align=center bgcolor="#ccc0cc"> <a href="support.html"> Support </a>
 <th align=center bgcolor="#ccc0cc"> <a href="http://repo.hu/cgi-bin/pcb-rnd-people.cgi">People</a>
-<th align=center bgcolor="#ccc0cc"> <a href="http://repo.hu/cgi-bin/pcb-rnd-people.cgi?cmd=events">Events</a> & <a href="http://www.repo.hu/cgi-bin/pcb-rnd-people.cgi?cmd=timeline"> timeline </a>
+<th align=center bgcolor="#ccc0cc"> <a href="http://repo.hu/cgi-bin/pcb-rnd-people.cgi?cmd=events">Events</a>&nbsp;&amp;&nbsp;<a href="http://www.repo.hu/cgi-bin/pcb-rnd-people.cgi?cmd=timeline">timeline</a>
 <td align=right width="60%"> <font size="+2"><i>pcb-rnd</i></font> <img src="resources/logo32.png" alt="[pcb-rnd logo]">
 </table>
 <!--AUTO navbar end-->