Add high contrast theme option

website/index.html

@@ -81,6 +81,7 @@
 							<select class="theme-picker">
 								<option>Visual Studio</option>
 								<option>Visual Studio Dark</option>
+								<option>High Contrast Dark</option>
 							</select>
 						</div>
 					</div>

website/index/index.js

@@ -35,7 +35,7 @@ $(document).ready(function() {
 			changeTheme(this.selectedIndex);
 		});
 		$('.theme-picker').selectpicker({
-			size: 2
+			size: 3
 		});
 
 		loadDiffSample();
@@ -137,7 +137,7 @@ function loadDiffSample() {
 }
 
 function changeTheme(theme) {
-	var newTheme = (theme === 1 ? 'vs-dark' : 'vs');
+	var newTheme = (theme === 1 ? 'vs-dark' : ( theme === 0 ? 'vs' : 'hc-black' ));
 	if (editor) {
 		editor.updateOptions({ 'theme' : newTheme });
 	}