styling and ace editor updates for IE