# HG changeset patch
# User gernotbelger
# Date 1533053556 -7200
# Node ID 7c74ee8d6767a482dd35b2cbf649557bd137f7b3
# Parent  13bbc75ed0bc00bf74fafd023a6bc322ac52aa0c
Fixed: collision themes had fiferent point sizes

diff -r 13bbc75ed0bc -r 7c74ee8d6767 artifacts/doc/conf/themes/default.xml
--- a/artifacts/doc/conf/themes/default.xml	Tue Jul 31 18:12:19 2018 +0200
+++ b/artifacts/doc/conf/themes/default.xml	Tue Jul 31 18:12:36 2018 +0200
@@ -2844,7 +2844,7 @@
       <inherit from="LongitudinalSectionPoints" />
     </inherits>
     <fields>
-      <field name="pointsize" type="int" display="Punktdicke" default="2" />
+      <field name="pointsize" type="int" display="Punktdicke" default="3" />
       <field name="pointcolor" type="Color" display="Punktfarbe" default="192, 0, 0" />
     </fields>
   </theme>
@@ -2853,7 +2853,7 @@
       <inherit from="LongitudinalSectionPoints" />
     </inherits>
     <fields>
-      <field name="pointsize" type="int" display="Punktdicke" default="2" />
+      <field name="pointsize" type="int" display="Punktdicke" default="3" />
       <field name="pointcolor" type="Color" display="Punktfarbe" default="48, 96, 255" />
     </fields>
   </theme>
diff -r 13bbc75ed0bc -r 7c74ee8d6767 artifacts/doc/conf/themes/second.xml
--- a/artifacts/doc/conf/themes/second.xml	Tue Jul 31 18:12:19 2018 +0200
+++ b/artifacts/doc/conf/themes/second.xml	Tue Jul 31 18:12:36 2018 +0200
@@ -2832,7 +2832,7 @@
       <inherit from="LongitudinalSectionPoints" />
     </inherits>
     <fields>
-      <field name="pointsize" type="int" display="Punktdicke" default="2" />
+      <field name="pointsize" type="int" display="Punktdicke" default="3" />
       <field name="pointcolor" type="Color" display="Punktfarbe" default="192, 0, 0" />
     </fields>
   </theme>
@@ -2841,7 +2841,7 @@
       <inherit from="LongitudinalSectionPoints" />
     </inherits>
     <fields>
-      <field name="pointsize" type="int" display="Punktdicke" default="2" />
+      <field name="pointsize" type="int" display="Punktdicke" default="3" />
       <field name="pointcolor" type="Color" display="Punktfarbe" default="48, 96, 255" />
     </fields>
   </theme>