Имена участников (разделяйте запятой).
Ну пишется за полчаса Подключаем jquery.hotkeys $(document).bind('keydown', 'Ctrl+s', function(){ $('style[href]').each(function(){...
JS работает на терминале, но устанавливать его не нужно - если у вас 100 человек пользуются платформой - не надо бегать к каждому и ставить...
Рекламируемое г - это чистый Javascript :-) Расширения на терминалах - всегда накладные расходы для платформы
Как часто вам приходится сохранять стили в своем редакторе и обновлять страницу в браузере? Каждый раз при работе в web-консоли — копируете стили...
