From 8207bbc84f7caaa2fd6ca94c8067c35b087e4800 Mon Sep 17 00:00:00 2001 From: Reinhold Kainhofer Date: Tue, 30 Sep 2008 18:32:04 +0200 Subject: [PATCH] Docs: Use the CSS and alternative CSS for all docs pages instead of hardcoding --- Documentation/de/index.html.in | 23 +++++++---------------- Documentation/devel.html.in | 25 ++++++++----------------- Documentation/es/index.html.in | 14 ++++++-------- Documentation/fr/index.html.in | 25 ++++++++----------------- Documentation/index.html.in | 14 ++++++-------- 5 files changed, 35 insertions(+), 66 deletions(-) diff --git a/Documentation/de/index.html.in b/Documentation/de/index.html.in index 7d1140ba02..e0893a9006 100644 --- a/Documentation/de/index.html.in +++ b/Documentation/de/index.html.in @@ -12,28 +12,19 @@ - + + + -