nav bar for all converted doc

[www.git] / docinfo.html

diff --git a/docinfo.html b/docinfo.html
new file mode 100644 (file)
index 0000000..c85a862
--- /dev/null
+++ b/docinfo.html
@@ -0,0 +1,3 @@
+<link rel="stylesheet" href="style.css">
+<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
+<script src="nav.js"></script>