# HG changeset patch # User Raimund Renkert # Date 1369662214 -7200 # Node ID 439809f4d2b7c95d6b1224e28544cb93a0f9cdc0 # Parent 6815714c1f97ee080db0081458cb82cf9099cd3a Merged theme config files default.xml and second.xml. diff -r 6815714c1f97 -r 439809f4d2b7 artifacts/doc/conf/themes/default.xml --- a/artifacts/doc/conf/themes/default.xml Mon May 27 15:40:42 2013 +0200 +++ b/artifacts/doc/conf/themes/default.xml Mon May 27 15:43:34 2013 +0200 @@ -1,5 +1,146 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1559,6 +1700,13 @@ + + + + + + + @@ -1604,6 +1752,14 @@ + + + + + + + + diff -r 6815714c1f97 -r 439809f4d2b7 artifacts/doc/conf/themes/second.xml --- a/artifacts/doc/conf/themes/second.xml Mon May 27 15:40:42 2013 +0200 +++ b/artifacts/doc/conf/themes/second.xml Mon May 27 15:43:34 2013 +0200 @@ -141,10 +141,6 @@ display="Flächenbeschriftung anzeigen" default="false" hints="hidden" /> - - - - @@ -801,6 +797,26 @@ + + + + + + + + + + + + + + + + + + @@ -954,6 +970,16 @@ + + + + + + + + + @@ -1059,7 +1085,7 @@ display="Beschriftung anzeigen" default="false" hints="h" /> - + @@ -1271,7 +1297,6 @@ - @@ -1720,6 +1745,13 @@ + + + + + + + @@ -1728,7 +1760,6 @@ - @@ -1962,19 +1993,41 @@ + + + + + + + + + + + +