options for pygments