.adcmdr-debug {
	textarea {
		width: 100%;
		min-height: 500px;
		background: #1e1e1e;
		color: #b0b0b0;
		font-family: monospace;
		font-size: 13px;
		line-height: 1.6;
		padding: $gutter-width;
		border: 1px solid #333;
		border-radius: 4px;
		resize: vertical;
		white-space: pre;
		overflow-wrap: normal;
		overflow-x: auto;
	}

	.adcmdr-debug-copy {
		margin-bottom: $gutter-width / 2;
	}
}

.adcmdr-code-editor {
	+ .CodeMirror {
		border: 1px solid $wp-border-color;
	}
}