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'; }
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'; }