It looks like those css classes match this plugin: http://terminal.jcubic.pl/