.dummy-console {
	font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
	font-size: 12px;
	resize: vertical;
	margin-bottom: 15px;
}