(styleElement)
| 2089 | } |
| 2090 | |
| 2091 | function styleName(styleElement) { |
| 2092 | var nameElement = styleElement.first("w:name"); |
| 2093 | return nameElement ? nameElement.attributes["w:val"] : null; |
| 2094 | } |
| 2095 | |
| 2096 | function readNumberingStyleElement(styleElement) { |
| 2097 | var numId = styleElement |