add scroll down & up actions to the infobar
change prefix of theme classes
removed theme/default.css (content was moved to the main stylesheet)
update themes
add punctuations & extend operators
minor changes in CodePrinter.js
update JavaScript and PHP mode files