Index: Autostyle.html
===================================================================
--- Autostyle.html	(nonexistent)
+++ Autostyle.html	(revision 5625)
@@ -0,0 +1,15 @@
+<!--AUTO head begin-->
+	<link rel="icon" href="$ROOT$resources/logo16.png">
+<!--AUTO head end-->
+
+<!--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$state.html"> Current state </a>
+<th align=center bgcolor="#339966"> <a href="$ROOT$plans/"> Plans </a>
+<th align=center bgcolor="#339966"> <a href="$ROOT$use_cases/"> Use cases </a>
+<th align=center bgcolor="#339966"> <a href="$ROOT$design/"> Design </a>
+</table>
+<!--AUTO navbar end-->