These themes are totally open source, wholly licensed by the GNU General Public License. Some themes are stylesheet templates built on the rich semantics of the Sandbox, and others, well, are just creations.