minor formatting changes

Philip Guo · Philip Guo · commit 7134ed3a27db · 2011-09-22T00:59:37.000-07:00
diff --git a/edu-python.css b/edu-python.css
@@ -369,7 +369,7 @@ table.classTbl td.classKey {
   padding-top: 10px;
   padding-bottom: 10px;
   padding-left: 10px;
-  padding-right: 6px;
+  padding-right: 8px;
 
   text-align: right;
   vertical-align: center;
@@ -381,8 +381,8 @@ table.classTbl td.classVal {
   padding-top: 10px;
   padding-bottom: 10px;
   padding-right: 10px;
-  padding-left: 6px;
-  vertical-align: top;
+  padding-left: 8px;
+  vertical-align: center;
 }
 
 
@@ -403,7 +403,7 @@ table.instTbl td.instKey {
   padding-top: 10px;
   padding-bottom: 10px;
   padding-left: 10px;
-  padding-right: 6px;
+  padding-right: 8px;
 
   text-align: right;
   vertical-align: center;
@@ -415,12 +415,11 @@ table.instTbl td.instVal {
   padding-top: 10px;
   padding-bottom: 10px;
   padding-right: 10px;
-  padding-left: 6px;
-  vertical-align: top;
+  padding-left: 8px;
+  vertical-align: center;
 }
 
 
-
 .typeLabel {
   font-size: 8pt;
   color: #222222;
diff --git a/edu-python.js b/edu-python.js
@@ -407,6 +407,11 @@ function renderData(obj, jDomElt) {
   else if (typ == "string") {
     // escape using htmlspecialchars to prevent HTML/script injection
     var literalStr = htmlspecialchars(obj);
+
+    // print as a double-quoted string literal
+    literalStr = literalStr.replace('\"', '\\"'); // escape action!
+    literalStr = '"' + literalStr + '"';
+
     jDomElt.append('<span class="stringObj">' + literalStr + '</span>');
   }
   else if (typ == "object") {
