X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html.css;fp=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html.css;h=54728c8055d488b3c73cf101153b15df39bf48db;hb=1bcb1921390d24e02d716614648e749bac6f5933;hp=0000000000000000000000000000000000000000;hpb=fc0401d0b8ef2c4f437d1e533dd0331d9b91082b;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld-html.css b/helm/software/lambda-delta/xml/ld-html.css
new file mode 100644
index 000000000..54728c805
--- /dev/null
+++ b/helm/software/lambda-delta/xml/ld-html.css
@@ -0,0 +1,41 @@
+@charset "UTF-8";
+
+a:link, a:visited {
+   text-decoration: underline;
+}
+
+a:active, a:hover, a:focus {
+   background: rgb(192, 255, 255);
+}
+
+.separator {
+   color: rgb(0, 0, 0);
+}
+
+.sort {
+   color: rgb(128, 0, 255);
+}
+
+.lref {
+   color: rgb(0, 0, 0);
+}
+
+.gref {
+   color: rgb(0, 0, 255);
+}
+
+.appl {
+   color: rgb(0, 0, 0);
+}
+
+.cast {
+   color: rgb(255, 0, 0);
+}
+
+.local {
+   color: rgb(0, 160, 0);
+}
+
+.global {
+   color: rgb(0, 0, 0);
+}