web/static/css/workspace.css
changeset 0 ecdfc63274bf
child 30 81d408373dde
equal deleted inserted replaced
-1:000000000000 0:ecdfc63274bf
       
     1 #contentsdiv h1 {
       
     2     text-decoration : underline;
       
     3 }
       
     4 
       
     5 #contentsdiv table {
       
     6     border: 1px solid black;
       
     7 }
       
     8 
       
     9 #projectsdiv h1 {
       
    10     text-decoration : underline;
       
    11 }
       
    12 
       
    13 #projectsdiv table {
       
    14     border: 1px solid black;
       
    15 }