(styleElement)
| 2094 | } |
| 2095 | |
| 2096 | function readNumberingStyleElement(styleElement) { |
| 2097 | var numId = styleElement |
| 2098 | .firstOrEmpty("w:pPr") |
| 2099 | .firstOrEmpty("w:numPr") |
| 2100 | .firstOrEmpty("w:numId") |
| 2101 | .attributes["w:val"]; |
| 2102 | return {numId: numId}; |
| 2103 | } |
| 2104 | |
| 2105 | },{}],16:[function(require,module,exports){ |
| 2106 | exports.uriToZipEntryName = uriToZipEntryName; |