(symbol, font, mode)
| 8189 | |
| 8190 | |
| 8191 | var delimiter_makeInner = function makeInner(symbol, font, mode) { |
| 8192 | var sizeClass; // Apply the correct CSS class to choose the right font. |
| 8193 | |
| 8194 | if (font === "Size1-Regular") { |
| 8195 | sizeClass = "delim-size1"; |
| 8196 | } else |
| 8197 | /* if (font === "Size4-Regular") */ |
| 8198 | { |
| 8199 | sizeClass = "delim-size4"; |
| 8200 | } |
| 8201 | |
| 8202 | var inner = buildCommon.makeSpan(["delimsizinginner", sizeClass], [buildCommon.makeSpan([], [buildCommon.makeSymbol(symbol, font, mode)])]); // Since this will be passed into `makeVList` in the end, wrap the element |
| 8203 | // in the appropriate tag that VList uses. |
| 8204 | |
| 8205 | return { |
| 8206 | type: "elem", |
| 8207 | elem: inner |
| 8208 | }; |
| 8209 | }; |
| 8210 | /** |
| 8211 | * Make a stacked delimiter out of a given delimiter, with the total height at |
| 8212 | * least `heightTotal`. This routine is mentioned on page 442 of the TeXbook. |
no outgoing calls
no test coverage detected