- lddl html pages: the transition to xhtml 1.1 + css 2 is complete

[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
index 54728c8055d488b3c73cf101153b15df39bf48db..705e15993db534d0fecbb06786fc71b11ce80ac0 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html.css
+++ b/helm/software/lambda-delta/xml/ld-html.css
@@ -1,41 +1,105 @@
 @charset "UTF-8";
 
+/* general ******************************************************************/
+
+body {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+   margin: 2.5%;
+}
+
 a:link, a:visited {
    text-decoration: underline;
 }
 
 a:active, a:hover, a:focus {
-   background: rgb(192, 255, 255);
+   background: rgb(192, 192, 192);
+}
+
+/* blocks *******************************************************************/
+
+.spacer {
+   text-align: center;
+}
+
+.head1 {
+   margin: 0.5em 0; 
+   text-align: center;
+   font-weight: bold; 
+   font-size: xx-large;
+}
+
+.head2 {
+   margin: 0.5em 0; 
+   text-align: left;
+   font-weight: bold; 
+   font-size: x-large;
 }
 
+.text {
+   margin: 1em 0; 
+   text-align: left;
+}
+
+/* inline decorations *******************************************************/
+
+.icon32 {
+   border: 0; 
+   width: 32px; 
+   height: 32px;
+}
+
+.rule {
+   border: 0; 
+   height: 4px;
+   width: 100%; 
+}
+
+.w3c {
+   margin: 0 0.5em; 
+   border: 0; 
+   width: 88px; 
+   height: 32px; /* this should be 31px */
+}
+
+/* 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);
 }