Moving nav bar

Author: davidcok

tutorial/Postconditions.md

@@ -1,3 +1,6 @@
+---
+title: JML Tutorial - Postconditions (ensures clauses)
+---
 <div style="display: flex; justify-content: space-between;">
     <div style="width: 30%; white-space: nowrap; overflow: hidden; text-overflow: ellipsis;">
         <a href="index.html">&lt;&lt;&lt;Previous</a>
@@ -10,9 +13,6 @@
     </div>
 </div>
 
----
-title: JML Tutorial - Postconditions (ensures clauses)
----
 
 A method's specification states _what_ the method does,
 but not _how_ it is done. The effect of a method is