20K minified and gzipped. You can also make custom builds using the provided Makefile. (And maybe use something like Ender for an even more specific build?)