fixes for IE

Changing the gutter width is now spread over a refresh,
and other small changes.