[Turing_Machine]

There are a lot of commonly used mobile libraries that are larger than this. Some of them (e.g., JQuery Mobile, which weighs in at several megs) make this look tiny by comparison.

[reitzensteinm]

The equivalent jquery mobile size - minified then gzipped - is 53kb.