Renamed introduction to index and small code style fixes (patch by @ericbarnes).
diff --git a/user_guide/nav/nav.js b/user_guide/nav/nav.js
index b57851a..bc668ec 100644
--- a/user_guide/nav/nav.js
+++ b/user_guide/nav/nav.js
@@ -40,7 +40,7 @@
'<h3>Tutorial</h3>' +
'<ul>' +
- '<li><a href="'+base+'tutorial/introduction.html">Introduction</a></li>' +
+ '<li><a href="'+base+'tutorial/index.html">Introduction</a></li>' +
'<li><a href="'+base+'tutorial/static_pages.html">Static pages</a></li>' +
'<li><a href="'+base+'tutorial/news_section.html">News section</a></li>' +
'<li><a href="'+base+'tutorial/create_news_items.html">Create news items</a></li>' +