Add less options for source-highlight