--- a/web/static/css/workspace.css	Fri Jun 11 00:25:17 2010 +0200
+++ b/web/static/css/workspace.css	Sat Jun 12 00:33:37 2010 +0200
@@ -13,3 +13,13 @@
 #projectsdiv table {
     border: 1px solid black;
 }
+
+.ldt_player_code {
+	width: 580px;
+	overflow: auto;
+	border-style: inset;
+	border: 1px solid silver;
+	margin: 10px 5px;
+	padding: 2px;
+}
+