WordPress: eliminar CSS del plugin CodeColorer

Si utilizáis el plugin CodeColorer en WordPress, y queréis eliminar el css que inserta en el «HEAD» de vuestro documento (y añadirlo posteriormente por ejemplo en el archivo css de vuestro theme… para limpiar un poco la cabecera y intentar usar los mínimos archivos css posibles) añadir la siguiente función php en el functions.php de vuestro theme:

add_action( 'wp_print_styles', 'codecolorer_styles', 100 );
function codecolorer_styles() {
    wp_deregister_style( 'codecolorer' );
}