# HG changeset patch
# User gernotbelger
# Date 1519148612 -3600
# Node ID be0220889e1faf3359ce191e2b8443799e182c56
# Parent 863f2850dbcf3bfafa13c8304a08659539576d70
Moved comments to virtual.xml and configured sinfo themes
diff -r 863f2850dbcf -r be0220889e1f artifacts/doc/conf/themes/default.xml
--- a/artifacts/doc/conf/themes/default.xml Mon Feb 19 18:04:25 2018 +0100
+++ b/artifacts/doc/conf/themes/default.xml Tue Feb 20 18:43:32 2018 +0100
@@ -143,16 +143,12 @@
-
-
-
-
-
+
@@ -2888,27 +2884,31 @@
-
+
-
+
-
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
+
\ No newline at end of file
diff -r 863f2850dbcf -r be0220889e1f artifacts/doc/conf/themes/second.xml
--- a/artifacts/doc/conf/themes/second.xml Mon Feb 19 18:04:25 2018 +0100
+++ b/artifacts/doc/conf/themes/second.xml Tue Feb 20 18:43:32 2018 +0100
@@ -956,6 +956,7 @@
+
@@ -2495,15 +2496,6 @@
-
-
-
-
-
-
-
-
-
@@ -2869,40 +2861,42 @@
-
+
-
+
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
diff -r 863f2850dbcf -r be0220889e1f artifacts/doc/conf/themes/virtual.xml
--- a/artifacts/doc/conf/themes/virtual.xml Mon Feb 19 18:04:25 2018 +0100
+++ b/artifacts/doc/conf/themes/virtual.xml Tue Feb 20 18:43:32 2018 +0100
@@ -79,16 +79,20 @@
+
+
+
+