--- /dev/null
+/* Simple Javascript tabs code.
+ * Written in 2005 by David Given, dg@cowlark.com.
+ * This code is in the public domain.
+ *
+ * $Source$
+ * $State$
+ */
+
+/* All pages are hidden by default. */
+
+document.write("<style type='text/css'>.page { display: none }</style>");
+
+var page = "home";
+function showpage(pagename)
+{
+ /* Hide old page. */
+
+ var p = document.getElementById(page);
+ p.style.display = "none";
+
+ /* Show new page. */
+
+ p = document.getElementById(pagename);
+ p.style.display = "block";
+ page = pagename;
+}
+
+/* Revision history
+ * $Log$
+ */