]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html.css
we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css
[helm.git] / helm / software / lambda-delta / xml / ld-html.css
diff --git a/helm/software/lambda-delta/xml/ld-html.css b/helm/software/lambda-delta/xml/ld-html.css
new file mode 100644 (file)
index 0000000..54728c8
--- /dev/null
@@ -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);
+}