HTML edititor (textarea) should be same size wysiwyg editor

Removed the size reduction. Don't know why the textarea size was
specified as smaller than the wysiwyg editor, maybe a hack for some
browser bug?
Menu items should not change size when disabled
Hover should have no visual effect on disabled elements
HTML editor should have same outline and shadow as WYSIWYG editor
Improved style for toolbar

Active elements are no longer yellow, instead a discreete border is
appended. Additionally there are more space between menu elements.

To achieve proper spacing, it was necessary to slightly change the toolbar
HTML structure. It is now wrapped in a div element. This does not seem to cause
any side-effects.
Replaced deprecated browser check for Opera
Made code pass jshint tests
Make mozilla placeholder quirk pass jshint and removed reduntant statement
Merge branch 'master' of github.com:jwysiwyg/jwysiwyg
Merged
Merge pull request #356 from stianlik/master

Some style improvements and jshint verification