From b52e62468b3f477aa4a9854c24ccff6a87958d73 Mon Sep 17 00:00:00 2001
From: Josh Birnholz <josh@birnholz.com>
Date: Wed, 8 Feb 2023 01:23:39 -0500
Subject: [PATCH] Lessen height on indented lines

---
 js/creator-23.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/creator-23.js b/js/creator-23.js
index 5fdd1a50..9e388385 100644
--- a/js/creator-23.js
+++ b/js/creator-23.js
@@ -2518,6 +2518,7 @@ function writeText(textObject, targetContext) {
 					startingCurrentX += planechaseHeight * 1.3;
 				} else if (possibleCode == 'indent') {
 					startingCurrentX += currentX;
+					currentY -= 10;
 				} else if (possibleCode == '/indent') {
 					startingCurrentX = 0;
 				} else if (possibleCode.includes('elemid')) {