Bold markdown headings for accessibility

Addresses #4502
2016-07-21 17:41:51 -07:00 · 2016-07-21 17:41:51 -07:00 · a8093e79a0
parent 01a3f86855
commit a8093e79a0
2 changed files with 2 additions and 0 deletions
--- a/extensions/theme-defaults/themes/dark_vs.json
+++ b/extensions/theme-defaults/themes/dark_vs.json
@ -108,6 +108,7 @@
 		{
 			"scope": "markup.heading",
 			"settings": {
+				"fontStyle": "bold",
 				"foreground": "#569cd6"
 			}
 		},
--- a/extensions/theme-defaults/themes/light_vs.json
+++ b/extensions/theme-defaults/themes/light_vs.json
@ -99,6 +99,7 @@
 		{
 			"scope": "markup.heading",
 			"settings": {
+				"fontStyle": "bold",
 				"foreground": "#800000"
 			}
 		},