[PATCH 6 of 8] Mapped a theme for the new differences facet

[Wald Commits]

# HG changeset patch
# User Raimund Renkert <rrenkert at intevation.de>
# Date 1394111350 -3600
# Branch minfo-opt
# Node ID cbc2445ef09abdc53e08ab45592389920870742f
# Parent  3841303a9158fb07d581f32eb7eee618e3728c8a
Mapped a theme for the new differences facet.

diff -r 3841303a9158 -r cbc2445ef09a artifacts/doc/conf/themes.xml
--- a/artifacts/doc/conf/themes.xml	Thu Mar 06 14:08:37 2014 +0100
+++ b/artifacts/doc/conf/themes.xml	Thu Mar 06 14:09:10 2014 +0100
@@ -157,6 +157,7 @@
         <mapping from="mainvalues.w" to="MainValuesW" />
         <mapping from="longitudinal_section.annotations" to="Annotations" />
         <mapping from="w_differences" to="Differences" />
+        <mapping from="w_differences.filtered" to="Differences" />
         <mapping from="floodmap.wsplgen" to="WSPLGEN" />
         <mapping from="floodmap.riveraxis" to="RiverAxis" />
         <mapping from="floodmap.kms" to="Kms" />