small bugfix

fix sizing of menu on the left.