--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/themes/default/TickBox.cfg	Fri Mar 20 06:41:25 2009 -0400
@@ -0,0 +1,37 @@
+widget TickBox {
+	layout = Layered;
+	
+	[hfill vfill] new Graphic {
+		size = 13 13;
+
+		style.normal = {
+			background = solid(white);
+			image = file("themes/default/img/tick.png");
+		}
+	}
+
+	[hfill vfill] new Graphic {
+		style.normal = {
+			background = solid(rgba(1, 1, 1, 0));
+			image = file("themes/default/img/tick_active.png");
+		}
+
+		style.active = {
+			background = solid(white);
+			deactivation = .2;
+		}
+	}
+
+	[hfill vfill] new Graphic {
+		style.normal = {
+			background = solid(rgba(1, 1, 1, 0));
+			image = file("themes/default/img/tick_hover.png");
+		}
+
+		style.hover = {
+			background = solid(white);
+			activation = .1;
+			deactivation = .7;
+		}
+	}
+}