--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/static/css/workspace.css	Sat Jun 12 04:25:05 2010 +0200
@@ -0,0 +1,25 @@
+#contentsdiv h1 {
+    text-decoration : underline;
+}
+
+#contentsdiv table {
+    border: 1px solid black;
+}
+
+#projectsdiv h1 {
+    text-decoration : underline;
+}
+
+#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;
+}
+