matitaB/matita/html/treeview/xmlTree.css

   1 body{\r
   2         font: 10pt Verdana,sans-serif;\r
   3         color: navy;\r
   4 }\r
   5 .trigger{\r
   6         cursor: pointer;\r
   7         cursor: hand;\r
   8         display: block;\r
   9 }\r
  10 .branch{\r
  11         display: none;\r
  12         margin-left: 16px;\r
  13 }\r
  14 a{\r
  15         text-decoration: none;\r
  16 }\r
  17 a:hover{\r
  18         text-decoration: underline;\r
  19 }\r