planned dehyphenation of lambdadelta eventually took place!

[helm.git] / helm / www / lambdadelta / css / lddl.css

diff --git a/helm/www/lambdadelta/css/lddl.css b/helm/www/lambdadelta/css/lddl.css
new file mode 100644 (file)
index 0000000..41a635d
--- /dev/null
+++ b/helm/www/lambdadelta/css/lddl.css
@@ -0,0 +1,43 @@
+@charset "UTF-8";
+
+/* terms ********************************************************************/
+
+.separator {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+}
+
+.sort {
+   background: rgb(255, 255, 255); 
+   color: rgb(128, 0, 255);
+}
+
+.lref {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+}
+
+.gref {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 255);
+}
+
+.appl {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+}
+
+.cast {
+   background: rgb(255, 255, 255); 
+   color: rgb(255, 0, 0);
+}
+
+.local {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 160, 0);
+}
+
+.global {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+}