X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fcss%2Fxhtbl.css;h=f58db47c3dd578722846dcca0a10de65ddf6e4f0;hb=eca7393f8b871fd1d7838cfd5a176a80f4ec48c5;hp=52d03197b8ee7baf4c15b8be1eac49e3affbf709;hpb=ad4d9dc103672a8ae732ec520d0f74445b913e2c;p=helm.git diff --git a/helm/www/lambda_delta/css/xhtbl.css b/helm/www/lambda_delta/css/xhtbl.css index 52d03197b..f58db47c3 100644 --- a/helm/www/lambda_delta/css/xhtbl.css +++ b/helm/www/lambda_delta/css/xhtbl.css @@ -16,17 +16,27 @@ td { /* content types ************************************************************/ -.component { +.text { font-style: normal; +} + +.component { + font-style: italic; text-transform: capitalize; } -.plane { +.plane { + font-style: italic; + text-transform: lowercase; +} + +.file { font-style: normal; text-transform: lowercase; } -.file { +.number { + text-align: right; font-style: italic; text-transform: lowercase; } @@ -50,11 +60,11 @@ td.nnss { } td.nsnn { - border-style:mone solid none none; + border-style:none solid none none; } td.nsns { - border-style:mone solid none solid; + border-style:none solid none solid; } td.nssn {