fix font size, merged ICE differences into bashrc