r').innerHTML = value;
						break;
					case 'theme':
						if (!styleElementDocument) {
							styleElementDocument = document.createElement('style');
							styleElementDocument.type = 'text/css';
							styleElementDocument.innerHTML = value;
							document.getElementsByTagName('head')[0].appendChild(styleElementDocument);
						} else {
							styleElementDocument.innerHTML = node;
						}
						break;
					case 'line-spacing': {
						doubleSpacedLines = JSON.parse(value);
					}
					case 'focus':
	