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