From 24b57ec75e26f937326a7e44109bf98a60757755 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 18 Mar 2014 12:17:56 -0400
Subject: [PATCH] Fix problem with not having all borders specified.

---
 unpacked/jax/output/SVG/jax.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
index 832e53cb2..ee91b861b 100644
--- a/unpacked/jax/output/SVG/jax.js
+++ b/unpacked/jax/output/SVG/jax.js
@@ -1168,8 +1168,8 @@
         //
         //  Adjust size by padding and dashed borders (left is taken care of above)
         //
-        if (padding) {svg.w += padding.right; svg.h += padding.top; svg.d += padding.bottom}
-        if (borders) {svg.w += borders.right; svg.h += borders.top; svg.d += borders.bottom}
+        if (padding) {svg.w += padding.right||0; svg.h += padding.top||0; svg.d += padding.bottom||0}
+        if (borders) {svg.w += borders.right||0; svg.h += borders.top||0; svg.d += borders.bottom||0}
         //
         //  Add background color
         //