Set smaller size for ace editor