+ if (dp->layout->pos == TBL_CELL_NUMBER) {
+ col = h->tbl.cols + dp->layout->col;
+ if (col->decimal < col->nwidth) {
+ if ((ccp = strrchr(dp->string,
+ sp->opts->decimal)) == NULL) {
+ /* Punctuation space. */
+ print_text(h, "\\[u2008]");
+ ccp = strchr(dp->string, '\0');
+ } else
+ ccp++;
+ sz = col->nwidth - col->decimal;
+ while (--sz > 0) {
+ if (*ccp == '\0')
+ /* Figure space. */
+ print_text(h,
+ "\\[u2007]");
+ else
+ ccp++;
+ }
+ }
+ }
+ html_setfont(h, save_font);
+ }