9ee0b8ffcb
* bugfix: put the redo and undo button under the same div so that they look grouped together * fixed the position of the redo and undo buttons to the right