Resized the graphics slightly. The walls are thinner, the padding is smaller, and

[grrobot] / src / svg / wall.svg

diff --git a/src/svg/wall.svg b/src/svg/wall.svg
index 98de7d73e3828fdd195f6c0f5a0ee80a1f497618..4f8112aa3b12dd111ca9b5218ef638c4191b5e03 100644 (file)
--- a/src/svg/wall.svg
+++ b/src/svg/wall.svg
@@ -2,5 +2,5 @@
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20001102//EN" 
   "http://www.w3.org/TR/2000/CR-SVG-20001102/DTD/svg-20001102.dtd">
 <svg width="32" height="32">
-  <line style="fill:none;stroke:black;stroke-width:4;" x1="-2" y1="0" x2="34" y2="0"/>
+  <line style="fill:none;stroke:black;stroke-width:2;" x1="-1" y1="0" x2="33" y2="0"/>
 </svg>