Substitute rouge for pygments