/*
	These are purely to fix bugs in the default configuration of WordPress
	With the new list layout, these are probably not needed.
*/

/* "View Raw Code" window */
#syntax-raw {
	/* Text is centered by default in body -_- */
	text-align: inherit;
	
	/* Default font size is too small! */
	font-size: 13px;
}

/* Table alt row highlighter */
table.syntax tr.alt {
	border-left: inherit;
}

.syntax {
	font-size: 80%;
}