WordPress/wp-admin/css/theme-editor.css

#template textarea {
	font-family: Consolas, Monaco, Courier, monospace;
	font-size: 12px;
	width: 97%;
}

#template p {
	width: 97%;
}

#templateside {
	float: right;
	width: 190px;
}

#templateside h3, #postcustomstuff p.submit {
	margin: 0;
}

h3#bordertitle {
	margin-bottom: 10px;
}

#templateside h4 {
	margin-bottom: 0;
}

#templateside ol, #templateside ul {
	list-style: none;
	margin: .5em;
	padding: 0;
}

#templateside ol li, #templateside ul li {
	margin: 1px 0;
}

#themeselector {
	padding-right: 5px;
	float: right;
	position: relative;
	bottom: 25px;
	top:20px;
}

#themeselector select {
	margin: 0;
	padding: 0;
}

.nonessential {
	font-size: small;
}

.highlight {
	padding: 1px;
}

div.bordertitle h2 {
	border: none;
	padding-bottom: 0;
}

div.tablenav {
	margin-right: 210px;
}

#documentation {
	margin-top: 10px;
}
#documentation label {
	line-height: 22px;
	vertical-align: top;
	font-weight: bold;
}