X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=2b299cf3070244b269a417f00273ec9d11312814;hb=25577a78cccba09974c91fcbfea770091a413382;hp=de85f44d0ddfba88cac5fe2841261cf14ea3ebd7;hpb=37e1b4f314ffae815beca71300688040f8da6939;p=helm.git diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css index de85f44d0..2b299cf30 100644 --- a/helm/www/lambdadelta/css/ld_web.css +++ b/helm/www/lambdadelta/css/ld_web.css @@ -60,6 +60,11 @@ div.text { font-size: medium; } +span.emph { + font-weight: bold; + font-size: medium; +} + span.date { font-weight: bold; font-size: medium; @@ -106,6 +111,24 @@ img.w3c { height: 32px; /* this should be 31px */ } +/* foreground colors (life cycle) *******************************************/ + +.delta { + color:#500000; +} + +.gamma { + color:#006000; +} + +.beta { + color:#906000; +} + +.alpha { + color:#000000; +} + /* background colors ********************************************************/ .gray {