ProgTest Themes

it such not does this adds change syntax is highlighting overall or progtest, only manager theme of for the notifications. it also but as design useful progtest. features