Allow explicit paragraph numbering.

asutton · asutton · commit 71d7418bb19c · 2014-06-18T04:19:26.000-04:00
diff --git a/section.js b/section.js
@@ -71,6 +71,10 @@ limitations under the License.
         },
 
         numberParagraph: function(number, element) {
+            // If the paragraph is explicitly numbered, use that number.
+            if (element.hasAttribute("number"))
+                number = element.getAttribute("number")
+
             var id = this.id + '.' + number;
             if (element.id) {
                 console.warn('Paragraph already has id:', element);
