indent large signatures on new line

hojberg · hojberg · commit 88243434af77 · 2025-09-25T15:31:05.000-04:00
diff --git a/elm-git.json b/elm-git.json
@@ -1,7 +1,7 @@
 {
     "git-dependencies": {
         "direct": {
-            "https://github.com/unisonweb/ui-core": "e099df41d2fcd1423570e134ef40e6b6d6f7767b"
+            "https://github.com/unisonweb/ui-core": "a637df03ea1cb59ae2899a4e68d74c0e4195d402"
         },
         "indirect": {}
     }
diff --git a/src/css/code2/workspace/workspace-definition-item-card.css b/src/css/code2/workspace/workspace-definition-item-card.css
@@ -123,6 +123,10 @@
 
   & .definition-source {
     overflow: auto;
+
+    & .term-signature .large-signature {
+      margin-left: 2ch;
+    }
   }
 
   & .foldable-source {

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"git-dependencies": {`
`3`	`3`	`"direct": {`
`4`		`- "https://github.com/unisonweb/ui-core": "e099df41d2fcd1423570e134ef40e6b6d6f7767b"`
	`4`	`+ "https://github.com/unisonweb/ui-core": "a637df03ea1cb59ae2899a4e68d74c0e4195d402"`
`5`	`5`	`},`
`6`	`6`	`"indirect": {}`
`7`	`7`	`}`
Original file line number	Diff line number	Diff line change
`@@ -123,6 +123,10 @@`
`123`	`123`
`124`	`124`	`& .definition-source {`
`125`	`125`	`overflow: auto;`
	`126`	`+`
	`127`	`+ & .term-signature .large-signature {`
	`128`	`+ margin-left: 2ch;`
	`129`	`+ }`
`126`	`130`	`}`
`127`	`131`
`128`	`132`	`& .foldable-source {`