From 44d44ec3c2444b9105d2ab5c9273e390b0695d88 Mon Sep 17 00:00:00 2001
From: Artur Andrzejak <artur.andrzejak@uni-heidelberg.de>
Date: Tue, 24 Oct 2023 18:42:29 +0200
Subject: [PATCH] Adjusted spacing before/after TextInput

---
 apps/python-dsl/src/projections/timesProjection.ts | 2 +-
 packages/projections/TextInput.svelte              | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/apps/python-dsl/src/projections/timesProjection.ts b/apps/python-dsl/src/projections/timesProjection.ts
index b5dc94f7..6b97f684 100644
--- a/apps/python-dsl/src/projections/timesProjection.ts
+++ b/apps/python-dsl/src/projections/timesProjection.ts
@@ -14,7 +14,7 @@ for ${times_var} in range(${times_value}):
 // todo: fix unnecessary indent
 export const widget = simpleProjection([
   times_value,
-  ".times with",
+  ".times with ",
   times_var,
   ":",
 ]);
diff --git a/packages/projections/TextInput.svelte b/packages/projections/TextInput.svelte
index 57f5bb96..60634371 100644
--- a/packages/projections/TextInput.svelte
+++ b/packages/projections/TextInput.svelte
@@ -217,7 +217,7 @@
     vertical-align: top;
     align-items: center;
     position: relative;
-    margin: 0 5px;
+    margin: 0px 0px;
 
     &::after {
       content: attr(data-value);
@@ -247,7 +247,7 @@
   label::after,
   input {
     width: auto;
-    min-width: 1em;
+    min-width: 0em;
     grid-area: 1 / 2;
     font: inherit;
     margin: 0;
@@ -257,7 +257,7 @@
     outline: none;
 
     display: inline-block;
-    padding: 2px 4px;
+    padding: 0px 0px;
     border: 1px solid transparent;
     border-radius: 3px;
   }