]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
named anchors replaced by ids as requested by xhtml
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index 9e7c3fc08fb76116394dad032eb996dc884ea03d..5897aedc6a2994758141ca8a44f2073fd8aee2da 100644 (file)
@@ -8,11 +8,12 @@ body {
    margin: 2.5%;
 }
 
-a:link, a:visited {
+a:link, a:visited, a:hover, a:active, a:focus {
    text-decoration: underline;
+   color: rgb(0, 0, 0);
 }
 
-a:active, a:hover, a:focus {
+a:hover {
    background: rgb(192, 192, 192);
 }
 
@@ -20,6 +21,8 @@ a:active, a:hover, a:focus {
 
 div.spacer {
    text-align: center;
+   font-weight: normal; 
+   font-size: medium;
 }
 
 div.head1 {
@@ -29,20 +32,30 @@ div.head1 {
    font-size: xx-large;
 }
 
-div.head2 {
+div.head2sn {
    margin: 0.5em 0; 
    text-align: left;
    font-weight: bold; 
    font-size: x-large;
 }
 
+div.head2dx {
+   margin: 0.5em 0; 
+   text-align: right;
+   font-weight: bold; 
+   font-size: x-large;
+}
+
 div.text {
    margin: 1em 0; 
    text-align: left;
+   font-weight: normal; 
+   font-size: medium;
 }
 
 span.date {
    font-weight: bold;
+   font-size: medium;
 }
 
 /* inline decorations *******************************************************/
@@ -53,6 +66,12 @@ img.icon32 {
    height: 32px;
 }
 
+img.icon37 {
+   border: 0; 
+   width: 37px; 
+   height: 37px;
+}
+
 img.rule {
    border: 0; 
    height: 4px;
@@ -68,7 +87,7 @@ img.w3c {
 
 /* background colors ********************************************************/
 
-.grey {
+.gray {
   background-color:#dfdfdf; /* + 7/8 */
 }