Add subtle borders to widgets (#167773)

* Add border to quick pick to match menus

* Add more borders and border radius to widgets

* More border updates

* Move color defaults to themes

* Address feedback

extensions/theme-defaults/themes/dark_plus_experimental.json

@@ -133,5 +133,6 @@
 		"titleBar.inactiveBackground": "#1f1f1f",
 		"titleBar.inactiveForeground": "#8b949e",
 		"welcomePage.tileBackground": "#ffffff0f",
+		"widgetBorder": "#ffffff15",
 	},
 }

extensions/theme-defaults/themes/dark_vs.json

@@ -24,6 +24,7 @@
 		"tab.lastPinnedBorder": "#ccc3",
 		"list.activeSelectionIconForeground": "#FFF",
 		"terminal.inactiveSelectionBackground": "#3A3D41",
+		"widget.border": "#303031",
 	},
 	"tokenColors": [
 		{

extensions/theme-defaults/themes/light_plus_experimental.json

@@ -148,5 +148,6 @@
 		"titleBar.inactiveBackground": "#f8f8f8",
 		"titleBar.inactiveForeground": "#8b949e",
 		"welcomePage.tileBackground": "#f3f3f3",
+		"wdgetBorder": "#0000001a",
 	},
 }

extensions/theme-defaults/themes/light_vs.json

@@ -29,6 +29,7 @@
 		"list.activeSelectionIconForeground": "#FFF",
 		"list.focusAndSelectionOutline": "#90C2F9",
 		"terminal.inactiveSelectionBackground": "#E5EBF1",
+		"widget.border": "#d4d4d4"
 	},
 	"tokenColors": [
 		{