X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.css;h=f39a09ea1177d7d00688e81b14b4a727cbdbe7e3;hb=fba2975ffd09ffb30a60500725c9991421445f37;hp=530eb9f5b89a1d24c4e5da62542473daf4ff28b2;hpb=6a1dae0ddf5b72b2527226ef23990953de46b5d8;p=helm.git diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css index 530eb9f5b..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,12 +20,26 @@ div.diaTitle { color: white; } +input.diaFile { + margin-left: 3px; + margin-right: auto; + width: 370px; +} + div.scroll { - border: 1px; - border-style:solid; - height:470px; - width:444px; + display: block; + margin-left: auto; + margin-right: auto; + border: 1px solid #ccc; + height:440px; + width:442px; overflow:auto; background-color: white; color:black; } + +h2 { + border: 0px; + padding: 1px; + display: inline; +}