3rd party themes and relative line numbering