--- share/web/static/css/app.css	2007/02/18 10:45:47	17
+++ share/web/static/css/app.css	2007/02/18 12:51:26	19
@@ -9,6 +9,12 @@
 	width: 40em;
 }
 
+textarea.argument-cookie {
+	font-size: 80%;
+	width: 55em;
+	color: gray;
+}
+
 /* results */
 
 div.result {