Matitaweb:

[helm.git] / matitaB / matita / html / treeview / xmlTree.css

diff --git a/matitaB/matita/html/treeview/xmlTree.css b/matitaB/matita/html/treeview/xmlTree.css
new file mode 100644 (file)
index 0000000..9fee00e
--- /dev/null
+++ b/matitaB/matita/html/treeview/xmlTree.css
@@ -0,0 +1,19 @@
+body{\r
+       font: 10pt Verdana,sans-serif;\r
+       color: navy;\r
+}\r
+.trigger{\r
+       cursor: pointer;\r
+       cursor: hand;\r
+       display: block;\r
+}\r
+.branch{\r
+       display: none;\r
+       margin-left: 16px;\r
+}\r
+a{\r
+       text-decoration: none;\r
+}\r
+a:hover{\r
+       text-decoration: underline;\r
+}\r