diff -r 000000000000 -r ecdfc63274bf web/static/css/workspace.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/static/css/workspace.css	Tue Jun 08 01:16:35 2010 +0200
@@ -0,0 +1,15 @@
+#contentsdiv h1 {
+    text-decoration : underline;
+}
+
+#contentsdiv table {
+    border: 1px solid black;
+}
+
+#projectsdiv h1 {
+    text-decoration : underline;
+}
+
+#projectsdiv table {
+    border: 1px solid black;
+}