From 5c4a7407ca44ba1e54588744868350b2a08f01cb Mon Sep 17 00:00:00 2001 From: timv Date: Tue, 4 Jun 2013 16:02:16 -0400 Subject: [PATCH] tweaks to style in debugger html output. --- src/Dyna/Backend/Python/debug.py | 22 +++++++++++++--------- 1 file changed, 13 insertions(+), 9 deletions(-) diff --git a/src/Dyna/Backend/Python/debug.py b/src/Dyna/Backend/Python/debug.py index 15130b1..983123f 100644 --- a/src/Dyna/Backend/Python/debug.py +++ b/src/Dyna/Backend/Python/debug.py @@ -222,12 +222,20 @@ def main(dynafile, browser=True):