From 1ea5fe8262ffe148c78ebc393ffe4886232a221e Mon Sep 17 00:00:00 2001
From: Julian T <julian@jtle.dk>
Date: Mon, 15 Feb 2021 10:59:42 +0100
Subject: Add notes for prob m4

---
 render.py | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'render.py')

diff --git a/render.py b/render.py
index 0964547..ff867a1 100755
--- a/render.py
+++ b/render.py
@@ -11,10 +11,16 @@ tex_template = """\\documentclass[12pt]{article}
 \\usepackage{amsmath}
 \\usepackage{amsfonts}
 
+\\newtheorem{definition}{Definition}
+\\newtheorem{lemma}{Lemma}
+
 {% if p is not none %}
 \\title{ {{title}} }
 {% endif %}
 
+\\setlength{\parindent}{0cm}
+\\setlength{\parskip}{0.3em}
+
 \\begin{document}
     {% if title is not none %}
     \maketitle
-- 
cgit v1.2.3