X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2Fmatitaweb.css;h=f39a09ea1177d7d00688e81b14b4a727cbdbe7e3;hb=fba2975ffd09ffb30a60500725c9991421445f37;hp=347afbc5c6f1b920aafbd89a619d4a9327670cf8;hpb=2b27867af3f742c371979e0b30d2ce610105b665;p=helm.git diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css index 347afbc5c..f39a09ea1 100644 --- a/matitaB/matita/matitaweb.css +++ b/matitaB/matita/matitaweb.css @@ -3,7 +3,7 @@ div.dialog { top: 50%; left: 50%; width:450px; - height:500px; + height:i500px; margin-top: -250px; /*set to a negative number 1/2 of your height*/ margin-left: -225px; /*set to a negative number 1/2 of your width*/ border: 1px solid #ccc; @@ -20,15 +20,26 @@ div.diaTitle { color: white; } +input.diaFile { + margin-left: 3px; + margin-right: auto; + width: 370px; +} + div.scroll { display: block; margin-left: auto; margin-right: auto; - border: 1px; - border-style:solid; - height:470px; + border: 1px solid #ccc; + height:440px; width:442px; overflow:auto; background-color: white; color:black; } + +h2 { + border: 0px; + padding: 1px; + display: inline; +}