@import url(https://fonts.googleapis.com/css?family=Source+Code+Pro);

textarea.wp-editor-area {
	font-family: 'Source Code Pro', monospace;
	font-size: 16px;
	font-variant-ligatures: common-ligatures;
}