aboutsummaryrefslogtreecommitdiff
path: root/render.py
diff options
context:
space:
mode:
authorJulian T <julian@jtle.dk>2021-02-15 10:59:42 +0100
committerJulian T <julian@jtle.dk>2021-02-15 10:59:42 +0100
commit1ea5fe8262ffe148c78ebc393ffe4886232a221e (patch)
treef58a8fe0deab6de5ccc642201c3cbadac146a0ba /render.py
parent52eef63fe9b1ed3dca6e4c8a1b11da0f1a081324 (diff)
Add notes for prob m4
Diffstat (limited to 'render.py')
-rwxr-xr-xrender.py6
1 files changed, 6 insertions, 0 deletions
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