# HG changeset patch # User Raimund Renkert # Date 1370874601 -7200 # Node ID b0d4aeba8e3d7cbfedeb370985daf1b016eb7ba4 # Parent 38d6ce2c7164e0a2876efbcd934369bfb6a9e152 New theme for bed diameter measurement facets. diff -r 38d6ce2c7164 -r b0d4aeba8e3d artifacts/doc/conf/themes.xml --- a/artifacts/doc/conf/themes.xml Mon Jun 10 16:28:57 2013 +0200 +++ b/artifacts/doc/conf/themes.xml Mon Jun 10 16:30:01 2013 +0200 @@ -216,6 +216,8 @@ + + diff -r 38d6ce2c7164 -r b0d4aeba8e3d artifacts/doc/conf/themes/default.xml --- a/artifacts/doc/conf/themes/default.xml Mon Jun 10 16:28:57 2013 +0200 +++ b/artifacts/doc/conf/themes/default.xml Mon Jun 10 16:30:01 2013 +0200 @@ -923,6 +923,29 @@ + + + + + + + + + + + + + + + + + + + + + + +