You can compress GIF files to make them even smaller than usual by changing their loss setting. Higher loss settings can yield smaller files but lower image quality. A loss setting between 5 and 15 typically yields the best results.

This is a picture of the feature being described.

Original GIF; loss value of 30; loss value of 100

To change a GIF's compression: