rc.xml.all: change default <core><gap> from 10 to 0

diff --git a/docs/rc.xml.all b/docs/rc.xml.all
index 39e0b6b784dc73d120013d1478d5e7a0f6c659b5..910b874d97eb8537c38228a1bebdb7a468e8307c 100644 (file)
--- a/docs/rc.xml.all
+++ b/docs/rc.xml.all
@@ -6,7 +6,7 @@
 
   <core>
     <decoration>server</decoration>
-    <gap>10</gap>
+    <gap>0</gap>
   </core>
 
   <theme>