carlos changes
carlos integration
local codemirror.css
Merge branch 'master' of github.com:smartcomments/smartcomments.github.io
Merge pull request #7 from darielnoel/master

Merge Carlos changes