# HG changeset patch # User Felix Wolfsteller # Date 1373534492 -7200 # Node ID d0a59a2e902f6c774f10c13259635656722238b6 # Parent 767b51f8fa9c918e24a7024467484fc56f42d3f7 issue1312: Bring back auto-coloring to FixPoints. diff -r 767b51f8fa9c -r d0a59a2e902f artifacts/doc/conf/themes/default.xml --- a/artifacts/doc/conf/themes/default.xml Thu Jul 11 10:24:32 2013 +0200 +++ b/artifacts/doc/conf/themes/default.xml Thu Jul 11 11:21:32 2013 +0200 @@ -1399,12 +1399,14 @@ - + + diff -r 767b51f8fa9c -r d0a59a2e902f artifacts/doc/conf/themes/second.xml --- a/artifacts/doc/conf/themes/second.xml Thu Jul 11 10:24:32 2013 +0200 +++ b/artifacts/doc/conf/themes/second.xml Thu Jul 11 11:21:32 2013 +0200 @@ -1399,12 +1399,14 @@ - + + diff -r 767b51f8fa9c -r d0a59a2e902f artifacts/doc/conf/themes/virtual.xml --- a/artifacts/doc/conf/themes/virtual.xml Thu Jul 11 10:24:32 2013 +0200 +++ b/artifacts/doc/conf/themes/virtual.xml Thu Jul 11 11:21:32 2013 +0200 @@ -30,6 +30,17 @@ + + + + + + + +