From: Wilmer Ricciotti Date: Wed, 22 Jun 2011 13:03:03 +0000 (+0000) Subject: More changes to matitaweb.css. X-Git-Tag: make_still_working~2405 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2b27867af3f742c371979e0b30d2ce610105b665;p=helm.git More changes to matitaweb.css. --- diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css index 44d97533f..347afbc5c 100644 --- a/matitaB/matita/matitaweb.css +++ b/matitaB/matita/matitaweb.css @@ -21,6 +21,9 @@ div.diaTitle { } div.scroll { + display: block; + margin-left: auto; + margin-right: auto; border: 1px; border-style:solid; height:470px;