From 25a10d733d354a5d0bdd8019796d43325ea18881 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sat, 11 May 2013 15:29:02 -0400
Subject: [PATCH] Correct typo in stroke-width (was stroke-thickness). 
 Resolves issue #461.

---
 unpacked/jax/output/SVG/jax.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
index c5b24633d..6f0531c37 100644
--- a/unpacked/jax/output/SVG/jax.js
+++ b/unpacked/jax/output/SVG/jax.js
@@ -1903,7 +1903,7 @@
           //  Put that in an <svg> with xlink defined.
           //
           var box = BBOX.G({
-            stroke:"black", fill:"black", "stroke-thickness":0,
+            stroke:"black", fill:"black", "stroke-width":0,
             transform: "matrix(1 0 0 -1 0 0)"
           }).With({removeable: false});
           box.Add(this.data[0].toSVG(),0,0,true); box.Clean();