Theme settings

For #232

lib/settingDefinitions.js

@@ -234,6 +234,11 @@
 			name: "displayDescriptions",
 			defaultValue: false
 		},
+		{
+			name: "theme",
+			defaultValue: "default",
+			options: ["default", "light", "dark"]
+		},
 		{
 			name: "dontShowOptionsOnUpdate",
 			defaultValue: false

options/settingsDisplay.js

@@ -362,6 +362,9 @@
 			]
 		},
 		"misc",
+		{
+			"name": "theme"
+		},
 		{
 			"name": "blockDataURLs",
 			"displayDependencies": {