Added navigation links to examples

src/frontend/tpl/editor.html

@@ -14,6 +14,16 @@
                     <ul class="nav">
                         <li class="active"><a href="index.html">Editor</a></li>
                         <li><a href="tutorial.html">Tutorial</a></li>
+                        <li class="dropdown">
+                            <a href="#" data-toggle="dropdown" class="dropdown-toggle">
+                                Examples <b class="caret"></b>
+                            </a>
+                            <ul class="dropdown-menu">
+                                <li><a href="example1.html">Validation &amp; hints</a></li>
+                                <li><a href="example2.html">Steps</a></li>
+                                <li><a href="example3.html">Direct answer</a></li>
+                            </ul>
+                        </li>
                     </ul>
                 </div>
             </div>
@@ -52,7 +62,7 @@
             <div class="row">
                 <div class="span12 credits">
                     Idea and feedback by <a href="http://homepages.cwi.nl/~apt/" target="_blank">Prof.dr. Krzysztof R. Apt</a>,
-                    implementation by Taddeüs Kroes and <a href="http://smvv.kompiler.org" target="_blank">Sander van Veen</a>.
+                    implementation by Tadde&uuml;s Kroes and <a href="http://smvv.kompiler.org" target="_blank">Sander van Veen</a>.
                 </div>
             </div>
         </div>

src/frontend/tpl/tutorial.html

@@ -14,6 +14,16 @@
                     <ul class="nav">
                         <li><a href="index.html">Editor</a></li>
                         <li class="active"><a href="tutorial.html">Tutorial</a></li>
+                        <li class="dropdown">
+                            <a href="#" data-toggle="dropdown" class="dropdown-toggle">
+                                Examples <b class="caret"></b>
+                            </a>
+                            <ul class="dropdown-menu">
+                                <li><a href="example1.html">Validation &amp; hints</a></li>
+                                <li><a href="example2.html">Steps</a></li>
+                                <li><a href="example3.html">Direct answer</a></li>
+                            </ul>
+                        </li>
                     </ul>
                 </div>
             </div>