Added more examples, fixed minor bugs.

Fixed the proof bug, where the QED symbold wasn't aligned with the last
line when text was under it.
Added vertical space after math-blocks without decoration.

source/main.typ

@@ -42,7 +42,7 @@
   #lorem(7)
 ]
 
-== #lorem(12)
+== #lorem(4)
 
 #lorem(40)
 
@@ -57,3 +57,31 @@
 
   #lorem(12)
 ]
+
+#lorem(30)
+
+= #lorem(4)
+
+#lorem(20)
+
+== #lorem(7)
+
+#lorem(20)
+
+#remark(name: lorem(2))[
+  #lorem(30)
+]
+
+#lorem(10)
+
+#lemma[
+  #lorem(13)
+]
+
+#proof[
+  #lorem(25)
+]
+
+#example[
+  #lorem(30)
+]

source/template.typ

@@ -70,12 +70,12 @@
 #let theorem(body, name: "") = math-block(body, name: name, id: lemma-text)
 #let corrolary(body, name: "") = math-block(body, name: name, id: lemma-text)
 #let definition(body, name: "") = math-block(body, name: name, id: definition-text, emphasis: "italics", decoration: "outline")
-#let remark(body, name: "") = math-block(body, name: name, id: remark-text, decoration: "none")
-#let example(body, name: "") = math-block(body, name: name, id: example-text, decoration: "none")
+#let remark(body, name: "") = math-block(body + v(0.5em), name: name, id: remark-text, decoration: "none")
+#let example(body, name: "") = math-block(body + v(0.5em), name: name, id: example-text, decoration: "none")
 
 /* It takes the body of the proof, and formats it by adding the QED
    symbol at the end, and the _#proof-text._ text at the front. */
-#let proof(body) = [_#proof-text._ #body #h(3em) #place(right, dy: -7pt, qed)]
+#let proof(body) = [_#proof-text._ #body #h(3em) #place(right, dy: -19pt, qed) #v(0.5em) ]
 
 // Configuration of the paper.
 // ---------------------------