Removing obsolete mystyle.html
Incresing size of history textarea to 20 rows.
Merge branch 'devel' into css