# HG changeset patch # User gernotbelger # Date 1519320513 -3600 # Node ID 93e6afa30045d9765224de34555ae46708713d0a # Parent d9f2ce1d6befec6789e40b09cb85c1792c002c52# Parent 0a900d605d523ffd11ae0aedf77cd8aedfcdf387 Merge diff -r 0a900d605d52 -r 93e6afa30045 artifacts/doc/conf/themes/default.xml --- a/artifacts/doc/conf/themes/default.xml Thu Feb 22 17:04:06 2018 +0100 +++ b/artifacts/doc/conf/themes/default.xml Thu Feb 22 18:28:33 2018 +0100 @@ -143,16 +143,12 @@ - - - - - + @@ -2888,27 +2884,31 @@ - + - + - + - - - - - - - - + + + + + + + + + + + + - + \ No newline at end of file diff -r 0a900d605d52 -r 93e6afa30045 artifacts/doc/conf/themes/second.xml --- a/artifacts/doc/conf/themes/second.xml Thu Feb 22 17:04:06 2018 +0100 +++ b/artifacts/doc/conf/themes/second.xml Thu Feb 22 18:28:33 2018 +0100 @@ -956,6 +956,7 @@ + @@ -2495,15 +2496,6 @@ - - - - - - - - - @@ -2869,40 +2861,42 @@ - + - + - + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + diff -r 0a900d605d52 -r 93e6afa30045 artifacts/doc/conf/themes/virtual.xml --- a/artifacts/doc/conf/themes/virtual.xml Thu Feb 22 17:04:06 2018 +0100 +++ b/artifacts/doc/conf/themes/virtual.xml Thu Feb 22 18:28:33 2018 +0100 @@ -79,16 +79,20 @@ + +