X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fcss%2Fxhtbl.css;h=f58db47c3dd578722846dcca0a10de65ddf6e4f0;hb=afe1661e69d1fdec2a65abe1ea9abdae03874967;hp=1517decbbf53419cff1724ef1a5fa9a5ba78229d;hpb=072ede2677de9dfae7dc7c7d4b597cb26a7bf3c6;p=helm.git diff --git a/helm/www/lambda_delta/css/xhtbl.css b/helm/www/lambda_delta/css/xhtbl.css index 1517decbb..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; }