From 3c404e7f96b8fe15267057d2b14a661269f69b0c Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Thu, 13 May 2021 19:21:43 +1000
Subject: [PATCH] Fix the markup of the grammar rules

---
 assets/packages.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/assets/packages.tex b/assets/packages.tex
index 1e3c67f..976b283 100644
--- a/assets/packages.tex
+++ b/assets/packages.tex
@@ -94,6 +94,7 @@ style=apa,
 
 % Proof Tree
 \usepackage[nounderscore]{syntax}
+\setlength{\grammarindent}{8em}
 \usepackage{ebproof}
 
 % Half Reif packages (maybe we should get rid of these)