# HG changeset patch # User Sascha L. Teichmann # Date 1380599927 -7200 # Node ID 20313093ba9684f5920d71cd888b67035ebfd593 # Parent 9cd3ff139601b9b345485bf2c876a9693ddc7d43 Bring themes back into sync. diff -r 9cd3ff139601 -r 20313093ba96 artifacts/doc/conf/themes/default.xml --- a/artifacts/doc/conf/themes/default.xml Mon Sep 30 17:41:15 2013 +0200 +++ b/artifacts/doc/conf/themes/default.xml Tue Oct 01 05:58:47 2013 +0200 @@ -2163,4 +2163,13 @@ + + + + + + + + + diff -r 9cd3ff139601 -r 20313093ba96 artifacts/doc/conf/themes/second.xml --- a/artifacts/doc/conf/themes/second.xml Mon Sep 30 17:41:15 2013 +0200 +++ b/artifacts/doc/conf/themes/second.xml Tue Oct 01 05:58:47 2013 +0200 @@ -84,6 +84,8 @@ display="Punktbeschriftung anzeigen" default="false" hints="hidden" /> + @@ -116,6 +118,19 @@ + + + + + + + + + + + @@ -2148,4 +2163,13 @@ + + + + + + + + +