From e430b096d42b51deb0550a519c5d00c913d81852 Mon Sep 17 00:00:00 2001 From: Christophe Riccio Date: Thu, 10 Feb 2011 15:10:59 +0000 Subject: [PATCH] Updated theme --- doc/common/style.css | 2 +- doc/src/data.xml | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/common/style.css b/doc/common/style.css index 6bea5cdd..a94b6a95 100644 --- a/doc/common/style.css +++ b/doc/common/style.css @@ -163,7 +163,7 @@ td.menu border-right-style:solid; border-color:#000000; width:160px; - padding-right: 32px; + padding-right: 0px; padding-left: 0px; padding-bottom: 0px; padding-top: 0px; diff --git a/doc/src/data.xml b/doc/src/data.xml index 21a96085..71b75046 100644 --- a/doc/src/data.xml +++ b/doc/src/data.xml @@ -2836,6 +2836,7 @@ + @@ -2849,16 +2850,15 @@ - - + + + - -