Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: press Ctrl-F5, Mozilla: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Opera/Konqueror: press F5, Safari: hold down Shift + Alt while clicking Reload, Chrome: hold down Shift while clicking Reload.
.se-status {
	clear: both;
	width: 100%;
	background-color: #F0F0F0;
	border-top: 1px solid silver;
	display: table;
}

.se-status .se-status-worker-cell.ace_gutter-cell {
	background-position: 0 center;
}

.se-status-worker {
	padding: 0 0.3em;
	user-select: none;
	cursor: pointer;
	display: table-cell;
	*float: left;
	*width: 10em;
}

.se-status-message {
	border-left: 1px solid silver;
	border-right: 1px solid silver;
	padding: 0 0.3em;
	width: 100%;
	display: table-cell;
	*float: left;
	*width: auto;
}

.se-status-line {
	padding: 0 0.3em;
	text-align: right;
	white-space: nowrap;
	display: table-cell;
	*float: right;
	*width: 4em;
}

.com-svgedit-preview:hover, .com-svgedit-preview-hover {
	background: url('//upload.wikimedia.org/wikipedia/commons/5/5d/Checker-16x16.png') repeat scroll;
}

.se-code-editor {
	position: relative;
}

pre.se-code-editor-text-area {
	position: absolute;
	top: 0;
	bottom: 0;
	left: 0;
	right: 0;
	margin: 0;
}

.se-diff>div>.CodeMirror {
	border: 1px solid #ddd;
}