| 8061 | |
| 8062 | |
| 8063 | const makeInner = function makeInner(symbol, font, mode) { |
| 8064 | let sizeClass; // Apply the correct CSS class to choose the right font. |
| 8065 | |
| 8066 | if (font === "Size1-Regular") { |
| 8067 | sizeClass = "delim-size1"; |
| 8068 | } else |
| 8069 | /* if (font === "Size4-Regular") */ |
| 8070 | { |
| 8071 | sizeClass = "delim-size4"; |
| 8072 | } |
| 8073 | |
| 8074 | const 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 |
| 8075 | // in the appropriate tag that VList uses. |
| 8076 | |
| 8077 | return { |
| 8078 | type: "elem", |
| 8079 | elem: inner |
| 8080 | }; |
| 8081 | }; |
| 8082 | /** |
| 8083 | * Make a stacked delimiter out of a given delimiter, with the total height at |
| 8084 | * least `heightTotal`. This routine is mentioned on page 442 of the TeXbook. |