There is a filter in the plugin that allows you to specify the “skin” you want to use. Something like this should work:

add_filter( 'prettify_skin', 'my_prettify_skin' );

function my_prettify_skin( $skin ) {
	return 'desert';
}