Adjust indent size; fix rendering of strings.

vor 10 Jahren · af8a20a123
--- a/static/api.css
+++ b/static/api.css
@@ -17,7 +17,7 @@ div.json {

 div.indent {
    display: inline-block;
    padding-left: 4em;
    padding-left: 2em;
 }

 span.code {
--- a/templates/api.mako
+++ b/templates/api.mako
@@ -22,7 +22,7 @@
        ${do_indent(indent)}
        ]
    % else:
        ${obj | h}
        ${repr(obj) | h}
    % endif
 </%def>\
 <!DOCTYPE html>