From 2b27867af3f742c371979e0b30d2ce610105b665 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 22 Jun 2011 13:03:03 +0000 Subject: [PATCH] More changes to matitaweb.css. --- matitaB/matita/matitaweb.css | 3 +++ 1 file changed, 3 insertions(+) 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; -- 2.39.2