Well...... jQuery is probably bigger than what you want, but it's arguably still a very good option. It's well documented, well supported, and if you use the CDN link
http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js
it is even very likely to be present and cached on the client's machine already.
