micrify

To make small; minify.