# HG changeset patch # User gernotbelger # Date 1540304831 -7200 # Node ID 145895212b3c7edc960f05beb0176ef1e84ccea8 # Parent 9b8e8fc1f4081dbf89ebc346d7598631ee02264f Konfiguration for legend aggregation of events themes in fixa. diff -r 9b8e8fc1f408 -r 145895212b3c artifacts/doc/conf/themes.xml --- a/artifacts/doc/conf/themes.xml Tue Oct 23 16:26:58 2018 +0200 +++ b/artifacts/doc/conf/themes.xml Tue Oct 23 16:27:11 2018 +0200 @@ -1,10 +1,12 @@ ]> + &legend; &virtual; &default; &second; diff -r 9b8e8fc1f408 -r 145895212b3c artifacts/doc/conf/themes/legend.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/artifacts/doc/conf/themes/legend.xml Tue Oct 23 16:27:11 2018 +0200 @@ -0,0 +1,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file