File: color-scheme.css
patch-19	patch-20
Line 36	Line 36
border-color: white; }	border-color: white; }
	.cmdline {         color: white;         font-weight: bold; }