Add margin to <pre> sections in generated documentation.

Peter Amstutz · Peter Amstutz · commit cc0f52bfa565 · 2016-03-18T08:01:00.000-04:00
diff --git a/schema_salad/makedoc.py b/schema_salad/makedoc.py
@@ -389,6 +389,10 @@ def avrold_doc(j, outdoc, renderlist, redirects, brand, brandlink):
     .tocnav ol {
       list-style: none
     }
+    pre {
+      margin-left: 2em;
+      margin-right: 2em;
+    }
     </style>
     </head>
     <body>
