Lines Matching refs:separator

3824   // The width of separator lines in {array} environments. From
9520       rowGaps.push(cr.size); // check for \hline(s) following the row separator
9685     while (colDescr.type === "separator") {
9686       // If there is more than one separator in a row, add a space
9694       if (colDescr.separator === "|" || colDescr.separator === ":") {
9695         const lineType = colDescr.separator === "|" ? "solid" : "dashed";
9696         const separator = buildCommon.makeSpan(["vertical-separator"], [], options);
9697         separator.style.height = totalHeight + "em";
9698         separator.style.borderRightWidth = `${ruleThickness}em`;
9699         separator.style.borderRightStyle = lineType;
9700         separator.style.margin = `0 -${ruleThickness / 2}em`;
9701         separator.style.verticalAlign = -(totalHeight - offset) + "em";
9702         cols.push(separator);
9704         throw new ParseError("Invalid separator type: " + colDescr.separator);
9843     if (cols[0].type === "separator") {
9848     if (cols[cols.length - 1].type === "separator") {
9862       } else if (cols[i].type === "separator") {
9866           columnLines += cols[i].separator === "|" ? "solid " : "dashed ";
10039           type: "separator",
10040           separator: "|"
10044           type: "separator",
10045           separator: ":"
13217       node.setAttribute("separator", "true");