Begin C# support

themes/Steffula-color-theme.json

@@ -64,16 +64,16 @@
 		"terminal.ansiWhite": "#808080",
 		"terminal.ansiYellow": "#a68a0d",
 		"debugToolBar.background": "#162c1e",
-		"gitDecoration.addedResourceForeground": "#629755",
+		"gitDecoration.addedResourceForeground": "#7cff5b",
-		"gitDecoration.modifiedResourceForeground": "#6897bb",
+		"gitDecoration.untrackedResourceForeground": "#b270ff",
-		"gitDecoration.renamedResourceForeground": "#6897bb",
+		"gitDecoration.modifiedResourceForeground": "#3da1ed",
-		"gitDecoration.stageModifiedResourceForeground": "#6897bb",
+		"gitDecoration.stageModifiedResourceForeground": "#3da1ed",
-		"gitDecoration.deletedResourceForeground": "#d5756c",
+		"gitDecoration.renamedResourceForeground": "#3da1ed",
-		"gitDecoration.stageDeletedResourceForeground": "#d5756c",
+		"gitDecoration.deletedResourceForeground": "#ff5d4f",
-		"gitDecoration.untrackedResourceForeground": "#9375b6",
+		"gitDecoration.stageDeletedResourceForeground": "#ff5d4f",
-		"gitDecoration.ignoredResourceForeground": "#6c6c6c",
+		"gitDecoration.ignoredResourceForeground": "#777777",
-		"gitDecoration.conflictingResourceForeground": "#8f8e47",
+		"gitDecoration.conflictingResourceForeground": "#f4f149",
-		"gitDecoration.submoduleResourceForeground": "#d08d69",
+		"gitDecoration.submoduleResourceForeground": "#ff8a4c",
 	},
 	"tokenColors": [
 		{
@@ -139,6 +139,7 @@
 				"meta.directive.transaction.beancount meta.account.beancount punctuation.separator.beancount",
 				"meta.tag.table.toml",
 				"markup.heading.wikitext",
+				"keyword.operator.arrow.cs",
 			],
 			"settings": {
 				"foreground": "#cc7832",
@@ -430,10 +431,11 @@
 				"punctuation.definition.inline.tag.jsdoc",
 				"storage.type.class.jsdoc",
 				"keyword.other.documentation.javadoc",
+				"comment.block.documentation entity.name.tag",
+				"comment.block.documentation punctuation.definition.tag",
 			],
 			"settings": {
 				"foreground": "#8A8A3B",
-				"fontStyle": "bold"
 			}
 		},
 		{
@@ -460,7 +462,6 @@
 			],
 			"settings": {
 				"foreground": "#8A8A3B",
-				"fontStyle": "bold"
 			}
 		},
 		{