# HG changeset patch # User Felix Wolfsteller # Date 1377522217 -7200 # Node ID 225e3a167958402da0965d46e98e73c80c25866c # Parent 0143c7de5ebc7a5deee4b0d6735482ad324858a0 Added new Theme. diff -r 0143c7de5ebc -r 225e3a167958 artifacts/doc/conf/themes/default.xml --- a/artifacts/doc/conf/themes/default.xml Mon Aug 26 15:02:52 2013 +0200 +++ b/artifacts/doc/conf/themes/default.xml Mon Aug 26 15:03:37 2013 +0200 @@ -116,6 +116,19 @@ + + + + + + + + + + +