]> git.cameronkatri.com Git - mandoc.git/blobdiff - mdoc_term.c
Add all rendered symbols used by eqn. I use the Second-Edition User's
[mandoc.git] / mdoc_term.c
index 0a13e5a687061b6ed29772e8e6585b95221269ff..0603b72160a1cc6690710ec4c31693ccafd6ea60 100644 (file)
@@ -1,6 +1,7 @@
-/*     $Id: mdoc_term.c,v 1.87 2009/10/07 12:20:20 kristaps Exp $ */
+/*     $Id: mdoc_term.c,v 1.233 2011/07/22 10:50:46 kristaps Exp $ */
 /*
- * Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@kth.se>
+ * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
+ * Copyright (c) 2010 Ingo Schwarze <schwarze@openbsd.org>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above
  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
 #include <sys/types.h>
 
 #include <assert.h>
 #include <ctype.h>
-#include <err.h>
+#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
+#include "mandoc.h"
+#include "out.h"
 #include "term.h"
 #include "mdoc.h"
-
-/* FIXME: check HANG lists: they seem to be broken... :
- * .Bl -hang -width Ds
- * .It a
- * b
- * .It Fl f Ns Ar option...
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * .
- * .It a sasd fasd as afsd sfad sfds sadfs sd sfd ssfad asfd
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * Override default compiler behaviour.  See
- * .Sx Compiler Options
- * for details.
- * .El
- *
- */
+#include "main.h"
 
 #define        INDENT            5
 #define        HALFINDENT        3
 
 struct termpair {
        struct termpair  *ppair;
-       int               flag; 
        int               count;
 };
 
@@ -80,70 +52,75 @@ struct      termact {
        void    (*post)(DECL_ARGS);
 };
 
+static size_t    a2width(const struct termp *, const char *);
+static size_t    a2height(const struct termp *, const char *);
+static size_t    a2offs(const struct termp *, const char *);
+
+static void      print_bvspace(struct termp *,
+                       const struct mdoc_node *,
+                       const struct mdoc_node *);
+static void      print_mdoc_node(DECL_ARGS);
+static void      print_mdoc_nodelist(DECL_ARGS);
+static void      print_mdoc_head(struct termp *, const void *);
+static void      print_mdoc_foot(struct termp *, const void *);
+static void      synopsis_pre(struct termp *, 
+                       const struct mdoc_node *);
+
 static void      termp____post(DECL_ARGS);
+static void      termp__t_post(DECL_ARGS);
 static void      termp_an_post(DECL_ARGS);
-static void      termp_aq_post(DECL_ARGS);
 static void      termp_bd_post(DECL_ARGS);
+static void      termp_bk_post(DECL_ARGS);
 static void      termp_bl_post(DECL_ARGS);
-static void      termp_bq_post(DECL_ARGS);
-static void      termp_brq_post(DECL_ARGS);
-static void      termp_bx_post(DECL_ARGS);
 static void      termp_d1_post(DECL_ARGS);
-static void      termp_dq_post(DECL_ARGS);
-static void      termp_fd_post(DECL_ARGS);
-static void      termp_fn_post(DECL_ARGS);
 static void      termp_fo_post(DECL_ARGS);
-static void      termp_ft_post(DECL_ARGS);
 static void      termp_in_post(DECL_ARGS);
 static void      termp_it_post(DECL_ARGS);
 static void      termp_lb_post(DECL_ARGS);
-static void      termp_op_post(DECL_ARGS);
+static void      termp_nm_post(DECL_ARGS);
 static void      termp_pf_post(DECL_ARGS);
-static void      termp_pq_post(DECL_ARGS);
-static void      termp_qq_post(DECL_ARGS);
+static void      termp_quote_post(DECL_ARGS);
 static void      termp_sh_post(DECL_ARGS);
-static void      termp_sq_post(DECL_ARGS);
 static void      termp_ss_post(DECL_ARGS);
-static void      termp_vt_post(DECL_ARGS);
 
+static int       termp__a_pre(DECL_ARGS);
 static int       termp__t_pre(DECL_ARGS);
 static int       termp_an_pre(DECL_ARGS);
 static int       termp_ap_pre(DECL_ARGS);
-static int       termp_aq_pre(DECL_ARGS);
 static int       termp_bd_pre(DECL_ARGS);
 static int       termp_bf_pre(DECL_ARGS);
+static int       termp_bk_pre(DECL_ARGS);
+static int       termp_bl_pre(DECL_ARGS);
 static int       termp_bold_pre(DECL_ARGS);
-static int       termp_bq_pre(DECL_ARGS);
-static int       termp_brq_pre(DECL_ARGS);
 static int       termp_bt_pre(DECL_ARGS);
+static int       termp_bx_pre(DECL_ARGS);
 static int       termp_cd_pre(DECL_ARGS);
 static int       termp_d1_pre(DECL_ARGS);
-static int       termp_dq_pre(DECL_ARGS);
 static int       termp_ex_pre(DECL_ARGS);
 static int       termp_fa_pre(DECL_ARGS);
+static int       termp_fd_pre(DECL_ARGS);
 static int       termp_fl_pre(DECL_ARGS);
 static int       termp_fn_pre(DECL_ARGS);
 static int       termp_fo_pre(DECL_ARGS);
 static int       termp_ft_pre(DECL_ARGS);
+static int       termp_igndelim_pre(DECL_ARGS);
 static int       termp_in_pre(DECL_ARGS);
 static int       termp_it_pre(DECL_ARGS);
+static int       termp_li_pre(DECL_ARGS);
 static int       termp_lk_pre(DECL_ARGS);
 static int       termp_nd_pre(DECL_ARGS);
 static int       termp_nm_pre(DECL_ARGS);
 static int       termp_ns_pre(DECL_ARGS);
-static int       termp_op_pre(DECL_ARGS);
-static int       termp_pf_pre(DECL_ARGS);
-static int       termp_pq_pre(DECL_ARGS);
-static int       termp_qq_pre(DECL_ARGS);
+static int       termp_quote_pre(DECL_ARGS);
 static int       termp_rs_pre(DECL_ARGS);
 static int       termp_rv_pre(DECL_ARGS);
 static int       termp_sh_pre(DECL_ARGS);
 static int       termp_sm_pre(DECL_ARGS);
 static int       termp_sp_pre(DECL_ARGS);
-static int       termp_sq_pre(DECL_ARGS);
 static int       termp_ss_pre(DECL_ARGS);
 static int       termp_under_pre(DECL_ARGS);
 static int       termp_ud_pre(DECL_ARGS);
+static int       termp_vt_pre(DECL_ARGS);
 static int       termp_xr_pre(DECL_ARGS);
 static int       termp_xx_pre(DECL_ARGS);
 
@@ -159,10 +136,10 @@ static    const struct termact termacts[MDOC_MAX] = {
        { termp_d1_pre, termp_d1_post }, /* Dl */
        { termp_bd_pre, termp_bd_post }, /* Bd */
        { NULL, NULL }, /* Ed */
-       { NULL, termp_bl_post }, /* Bl */
+       { termp_bl_pre, termp_bl_post }, /* Bl */
        { NULL, NULL }, /* El */
        { termp_it_pre, termp_it_post }, /* It */
-       { NULL, NULL }, /* Ad */ 
+       { termp_under_pre, NULL }, /* Ad */ 
        { termp_an_pre, termp_an_post }, /* An */
        { termp_under_pre, NULL }, /* Ar */
        { termp_cd_pre, NULL }, /* Cd */
@@ -172,24 +149,24 @@ static    const struct termact termacts[MDOC_MAX] = {
        { NULL, NULL }, /* Ev */ 
        { termp_ex_pre, NULL }, /* Ex */
        { termp_fa_pre, NULL }, /* Fa */ 
-       { termp_bold_pre, termp_fd_post }, /* Fd */ 
+       { termp_fd_pre, NULL }, /* Fd */ 
        { termp_fl_pre, NULL }, /* Fl */
-       { termp_fn_pre, termp_fn_post }, /* Fn */ 
-       { termp_ft_pre, termp_ft_post }, /* Ft */ 
+       { termp_fn_pre, NULL }, /* Fn */ 
+       { termp_ft_pre, NULL }, /* Ft */ 
        { termp_bold_pre, NULL }, /* Ic */ 
        { termp_in_pre, termp_in_post }, /* In */ 
-       { NULL, NULL }, /* Li */
+       { termp_li_pre, NULL }, /* Li */
        { termp_nd_pre, NULL }, /* Nd */ 
-       { termp_nm_pre, NULL }, /* Nm */ 
-       { termp_op_pre, termp_op_post }, /* Op */
+       { termp_nm_pre, termp_nm_post }, /* Nm */ 
+       { termp_quote_pre, termp_quote_post }, /* Op */
        { NULL, NULL }, /* Ot */
        { termp_under_pre, NULL }, /* Pa */
        { termp_rv_pre, NULL }, /* Rv */
        { NULL, NULL }, /* St */ 
        { termp_under_pre, NULL }, /* Va */
-       { termp_under_pre, termp_vt_post }, /* Vt */
+       { termp_vt_pre, NULL }, /* Vt */
        { termp_xr_pre, NULL }, /* Xr */
-       { NULL, termp____post }, /* %A */
+       { termp__a_pre, termp____post }, /* %A */
        { termp_under_pre, termp____post }, /* %B */
        { NULL, termp____post }, /* %D */
        { termp_under_pre, termp____post }, /* %I */
@@ -198,45 +175,45 @@ static    const struct termact termacts[MDOC_MAX] = {
        { NULL, termp____post }, /* %O */
        { NULL, termp____post }, /* %P */
        { NULL, termp____post }, /* %R */
-       { termp__t_pre, termp____post }, /* %T */
+       { termp__t_pre, termp__t_post }, /* %T */
        { NULL, termp____post }, /* %V */
        { NULL, NULL }, /* Ac */
-       { termp_aq_pre, termp_aq_post }, /* Ao */
-       { termp_aq_pre, termp_aq_post }, /* Aq */
+       { termp_quote_pre, termp_quote_post }, /* Ao */
+       { termp_quote_pre, termp_quote_post }, /* Aq */
        { NULL, NULL }, /* At */
        { NULL, NULL }, /* Bc */
        { termp_bf_pre, NULL }, /* Bf */ 
-       { termp_bq_pre, termp_bq_post }, /* Bo */
-       { termp_bq_pre, termp_bq_post }, /* Bq */
+       { termp_quote_pre, termp_quote_post }, /* Bo */
+       { termp_quote_pre, termp_quote_post }, /* Bq */
        { termp_xx_pre, NULL }, /* Bsx */
-       { NULL, termp_bx_post }, /* Bx */
+       { termp_bx_pre, NULL }, /* Bx */
        { NULL, NULL }, /* Db */
        { NULL, NULL }, /* Dc */
-       { termp_dq_pre, termp_dq_post }, /* Do */
-       { termp_dq_pre, termp_dq_post }, /* Dq */
-       { NULL, NULL }, /* Ec */
+       { termp_quote_pre, termp_quote_post }, /* Do */
+       { termp_quote_pre, termp_quote_post }, /* Dq */
+       { NULL, NULL }, /* Ec */ /* FIXME: no space */
        { NULL, NULL }, /* Ef */
        { termp_under_pre, NULL }, /* Em */ 
        { NULL, NULL }, /* Eo */
        { termp_xx_pre, NULL }, /* Fx */
-       { termp_bold_pre, NULL }, /* Ms */ /* FIXME: convert to symbol? */
-       { NULL, NULL }, /* No */
+       { termp_bold_pre, NULL }, /* Ms */
+       { termp_igndelim_pre, NULL }, /* No */
        { termp_ns_pre, NULL }, /* Ns */
        { termp_xx_pre, NULL }, /* Nx */
        { termp_xx_pre, NULL }, /* Ox */
        { NULL, NULL }, /* Pc */
-       { termp_pf_pre, termp_pf_post }, /* Pf */
-       { termp_pq_pre, termp_pq_post }, /* Po */
-       { termp_pq_pre, termp_pq_post }, /* Pq */
+       { termp_igndelim_pre, termp_pf_post }, /* Pf */
+       { termp_quote_pre, termp_quote_post }, /* Po */
+       { termp_quote_pre, termp_quote_post }, /* Pq */
        { NULL, NULL }, /* Qc */
-       { termp_sq_pre, termp_sq_post }, /* Ql */
-       { termp_qq_pre, termp_qq_post }, /* Qo */
-       { termp_qq_pre, termp_qq_post }, /* Qq */
+       { termp_quote_pre, termp_quote_post }, /* Ql */
+       { termp_quote_pre, termp_quote_post }, /* Qo */
+       { termp_quote_pre, termp_quote_post }, /* Qq */
        { NULL, NULL }, /* Re */
        { termp_rs_pre, NULL }, /* Rs */
        { NULL, NULL }, /* Sc */
-       { termp_sq_pre, termp_sq_post }, /* So */
-       { termp_sq_pre, termp_sq_post }, /* Sq */
+       { termp_quote_pre, termp_quote_post }, /* So */
+       { termp_quote_pre, termp_quote_post }, /* Sq */
        { termp_sm_pre, NULL }, /* Sm */
        { termp_under_pre, NULL }, /* Sx */
        { termp_bold_pre, NULL }, /* Sy */
@@ -246,9 +223,9 @@ static      const struct termact termacts[MDOC_MAX] = {
        { NULL, NULL }, /* Xo */
        { termp_fo_pre, termp_fo_post }, /* Fo */ 
        { NULL, NULL }, /* Fc */ 
-       { termp_op_pre, termp_op_post }, /* Oo */
+       { termp_quote_pre, termp_quote_post }, /* Oo */
        { NULL, NULL }, /* Oc */
-       { NULL, NULL }, /* Bk */
+       { termp_bk_pre, termp_bk_post }, /* Bk */
        { NULL, NULL }, /* Ek */
        { termp_bt_pre, NULL }, /* Bt */
        { NULL, NULL }, /* Hf */
@@ -258,8 +235,8 @@ static      const struct termact termacts[MDOC_MAX] = {
        { termp_sp_pre, NULL }, /* Lp */ 
        { termp_lk_pre, NULL }, /* Lk */ 
        { termp_under_pre, NULL }, /* Mt */ 
-       { termp_brq_pre, termp_brq_post }, /* Brq */ 
-       { termp_brq_pre, termp_brq_post }, /* Bro */ 
+       { termp_quote_pre, termp_quote_post }, /* Brq */ 
+       { termp_quote_pre, termp_quote_post }, /* Bro */ 
        { NULL, NULL }, /* Brc */ 
        { NULL, termp____post }, /* %C */ 
        { NULL, NULL }, /* Es */ /* TODO */
@@ -268,104 +245,175 @@ static  const struct termact termacts[MDOC_MAX] = {
        { NULL, termp____post }, /* %Q */ 
        { termp_sp_pre, NULL }, /* br */
        { termp_sp_pre, NULL }, /* sp */ 
+       { termp_under_pre, termp____post }, /* %U */ 
+       { NULL, NULL }, /* Ta */ 
 };
 
-#ifdef __linux__
-extern size_t    strlcpy(char *, const char *, size_t);
-extern size_t    strlcat(char *, const char *, size_t);
-#endif
-
-static int       arg_hasattr(int, const struct mdoc_node *);
-static int       arg_getattrs(const int *, int *, size_t,
-                       const struct mdoc_node *);
-static int       arg_getattr(int, const struct mdoc_node *);
-static size_t    arg_offset(const struct mdoc_argv *);
-static size_t    arg_width(const struct mdoc_argv *, int);
-static int       arg_listtype(const struct mdoc_node *);
-static void      fmt_block_vspace(struct termp *,
-                       const struct mdoc_node *,
-                       const struct mdoc_node *);
-static void      print_node(DECL_ARGS);
-static void      print_head(DECL_ARGS);
-static void      print_body(DECL_ARGS);
-static void      print_foot(DECL_ARGS);
-
 
 void
-mdoc_run(struct termp *p, const struct mdoc *mdoc)
+terminal_mdoc(void *arg, const struct mdoc *mdoc)
 {
        const struct mdoc_node  *n;
        const struct mdoc_meta  *m;
+       struct termp            *p;
+
+       p = (struct termp *)arg;
+
+       p->overstep = 0;
+       p->maxrmargin = p->defrmargin;
+       p->tabwidth = term_len(p, 5);
+
+       if (NULL == p->symtab)
+               p->symtab = mchars_alloc();
 
        n = mdoc_node(mdoc);
        m = mdoc_meta(mdoc);
 
-       print_head(p, NULL, m, n);
+       term_begin(p, print_mdoc_head, print_mdoc_foot, m);
+
        if (n->child)
-               print_body(p, NULL, m, n->child);
-       print_foot(p, NULL, m, n);
+               print_mdoc_nodelist(p, NULL, m, n->child);
+
+       term_end(p);
 }
 
 
 static void
-print_body(DECL_ARGS)
+print_mdoc_nodelist(DECL_ARGS)
 {
 
-       print_node(p, pair, m, n);
+       print_mdoc_node(p, pair, m, n);
        if (n->next)
-               print_body(p, pair, m, n->next);
+               print_mdoc_nodelist(p, pair, m, n->next);
 }
 
 
 /* ARGSUSED */
 static void
-print_node(DECL_ARGS)
+print_mdoc_node(DECL_ARGS)
 {
-       int              chld, bold, under;
+       int              chld;
+       const void      *font;
        struct termpair  npair;
        size_t           offset, rmargin;
 
        chld = 1;
        offset = p->offset;
        rmargin = p->rmargin;
-       bold = p->bold;
-       under = p->under;
+       font = term_fontq(p);
 
-       bzero(&npair, sizeof(struct termpair));
+       memset(&npair, 0, sizeof(struct termpair));
        npair.ppair = pair;
 
-       if (MDOC_TEXT != n->type) {
-               if (termacts[n->tok].pre)
-                       chld = (*termacts[n->tok].pre)(p, &npair, m, n);
-       } else 
-               term_word(p, n->string); 
-       if (chld && n->child)
-               print_body(p, &npair, m, n->child);
+       /*
+        * Keeps only work until the end of a line.  If a keep was
+        * invoked in a prior line, revert it to PREKEEP.
+        *
+        * Also let SYNPRETTY sections behave as if they were wrapped
+        * in a `Bk' block.
+        */
+
+       if (TERMP_KEEP & p->flags || MDOC_SYNPRETTY & n->flags) {
+               if (n->prev && n->prev->line != n->line) {
+                       p->flags &= ~TERMP_KEEP;
+                       p->flags |= TERMP_PREKEEP;
+               } else if (NULL == n->prev) {
+                       if (n->parent && n->parent->line != n->line) {
+                               p->flags &= ~TERMP_KEEP;
+                               p->flags |= TERMP_PREKEEP;
+                       }
+               }
+       }
+
+       /*
+        * Since SYNPRETTY sections aren't "turned off" with `Ek',
+        * we have to intuit whether we should disable formatting.
+        */
+
+       if ( ! (MDOC_SYNPRETTY & n->flags) &&
+           ((n->prev   && MDOC_SYNPRETTY & n->prev->flags) ||
+            (n->parent && MDOC_SYNPRETTY & n->parent->flags)))
+               p->flags &= ~(TERMP_KEEP | TERMP_PREKEEP);
 
        /*
-        * XXX - if bold/under were to span scopes, this wouldn't be
-        * possible, but because decoration is always in-scope, we can
-        * get away with this.
+        * After the keep flags have been set up, we may now
+        * produce output.  Note that some pre-handlers do so.
         */
 
-       p->bold = bold;
-       p->under = under;
+       switch (n->type) {
+       case (MDOC_TEXT):
+               if (' ' == *n->string && MDOC_LINE & n->flags)
+                       term_newln(p);
+               if (MDOC_DELIMC & n->flags)
+                       p->flags |= TERMP_NOSPACE;
+               term_word(p, n->string);
+               if (MDOC_DELIMO & n->flags)
+                       p->flags |= TERMP_NOSPACE;
+               break;
+       case (MDOC_EQN):
+               term_eqn(p, n->eqn);
+               break;
+       case (MDOC_TBL):
+               term_tbl(p, n->span);
+               break;
+       default:
+               if (termacts[n->tok].pre && ENDBODY_NOT == n->end)
+                       chld = (*termacts[n->tok].pre)
+                               (p, &npair, m, n);
+               break;
+       }
+
+       if (chld && n->child)
+               print_mdoc_nodelist(p, &npair, m, n->child);
+
+       term_fontpopq(p, font);
+
+       switch (n->type) {
+       case (MDOC_TEXT):
+               break;
+       case (MDOC_TBL):
+               break;
+       case (MDOC_EQN):
+               break;
+       default:
+               if ( ! termacts[n->tok].post || MDOC_ENDED & n->flags)
+                       break;
+               (void)(*termacts[n->tok].post)(p, &npair, m, n);
+
+               /*
+                * Explicit end tokens not only call the post
+                * handler, but also tell the respective block
+                * that it must not call the post handler again.
+                */
+               if (ENDBODY_NOT != n->end)
+                       n->pending->flags |= MDOC_ENDED;
+
+               /*
+                * End of line terminating an implicit block
+                * while an explicit block is still open.
+                * Continue the explicit block without spacing.
+                */
+               if (ENDBODY_NOSPACE == n->end)
+                       p->flags |= TERMP_NOSPACE;
+               break;
+       }
 
-       if (MDOC_TEXT != n->type)
-               if (termacts[n->tok].post)
-                       (*termacts[n->tok].post)(p, &npair, m, n);
+       if (MDOC_EOS & n->flags)
+               p->flags |= TERMP_SENTENCE;
 
        p->offset = offset;
        p->rmargin = rmargin;
 }
 
 
-/* ARGSUSED */
 static void
-print_foot(DECL_ARGS)
+print_mdoc_foot(struct termp *p, const void *arg)
 {
-       struct tm       *tm;
-       char            *buf, *os;
+       const struct mdoc_meta *m;
+
+       m = (const struct mdoc_meta *)arg;
+
+       term_fontrepl(p, TERMFONT_NONE);
 
        /* 
         * Output the footer in new-groff style, that is, three columns
@@ -375,32 +423,21 @@ print_foot(DECL_ARGS)
         * SYSTEM                  DATE                    SYSTEM
         */
 
-       if (NULL == (buf = malloc(p->rmargin)))
-               err(EXIT_FAILURE, "malloc");
-       if (NULL == (os = malloc(p->rmargin)))
-               err(EXIT_FAILURE, "malloc");
-
-       tm = localtime(&m->date);
-
-       if (0 == strftime(buf, p->rmargin, "%B %e, %Y", tm))
-               err(EXIT_FAILURE, "strftime");
-
-       (void)strlcpy(os, m->os, p->rmargin);
-
        term_vspace(p);
 
        p->offset = 0;
-       p->rmargin = (p->maxrmargin - strlen(buf) + 1) / 2;
+       p->rmargin = (p->maxrmargin - 
+                       term_strlen(p, m->date) + term_len(p, 1)) / 2;
        p->flags |= TERMP_NOSPACE | TERMP_NOBREAK;
 
-       term_word(p, os);
+       term_word(p, m->os);
        term_flushln(p);
 
        p->offset = p->rmargin;
-       p->rmargin = p->maxrmargin - strlen(os);
+       p->rmargin = p->maxrmargin - term_strlen(p, m->os);
        p->flags |= TERMP_NOLPAD | TERMP_NOSPACE;
 
-       term_word(p, buf);
+       term_word(p, m->date);
        term_flushln(p);
 
        p->offset = p->rmargin;
@@ -408,33 +445,26 @@ print_foot(DECL_ARGS)
        p->flags &= ~TERMP_NOBREAK;
        p->flags |= TERMP_NOLPAD | TERMP_NOSPACE;
 
-       term_word(p, os);
+       term_word(p, m->os);
        term_flushln(p);
 
        p->offset = 0;
        p->rmargin = p->maxrmargin;
        p->flags = 0;
-
-       free(buf);
-       free(os);
 }
 
 
-/* FIXME: put in utility library. */
-/* ARGSUSED */
 static void
-print_head(DECL_ARGS)
+print_mdoc_head(struct termp *p, const void *arg)
 {
-       char            *buf, *title;
+       char            buf[BUFSIZ], title[BUFSIZ];
+       const struct mdoc_meta *m;
+
+       m = (const struct mdoc_meta *)arg;
 
        p->rmargin = p->maxrmargin;
        p->offset = 0;
 
-       if (NULL == (buf = malloc(p->rmargin)))
-               err(EXIT_FAILURE, "malloc");
-       if (NULL == (title = malloc(p->rmargin)))
-               err(EXIT_FAILURE, "malloc");
-
        /*
         * The header is strange.  It has three components, which are
         * really two with the first duplicated.  It goes like this:
@@ -449,25 +479,26 @@ print_head(DECL_ARGS)
         */
 
        assert(m->vol);
-       (void)strlcpy(buf, m->vol, p->rmargin);
+       strlcpy(buf, m->vol, BUFSIZ);
 
        if (m->arch) {
-               (void)strlcat(buf, " (", p->rmargin);
-               (void)strlcat(buf, m->arch, p->rmargin);
-               (void)strlcat(buf, ")", p->rmargin);
+               strlcat(buf, " (", BUFSIZ);
+               strlcat(buf, m->arch, BUFSIZ);
+               strlcat(buf, ")", BUFSIZ);
        }
 
-       snprintf(title, p->rmargin, "%s(%d)", m->title, m->msec);
+       snprintf(title, BUFSIZ, "%s(%s)", m->title, m->msec);
 
        p->offset = 0;
-       p->rmargin = (p->maxrmargin - strlen(buf) + 1) / 2;
+       p->rmargin = (p->maxrmargin - 
+                       term_strlen(p, buf) + term_len(p, 1)) / 2;
        p->flags |= TERMP_NOBREAK | TERMP_NOSPACE;
 
        term_word(p, title);
        term_flushln(p);
 
        p->offset = p->rmargin;
-       p->rmargin = p->maxrmargin - strlen(title);
+       p->rmargin = p->maxrmargin - term_strlen(p, title);
        p->flags |= TERMP_NOLPAD | TERMP_NOSPACE;
 
        term_word(p, buf);
@@ -484,159 +515,73 @@ print_head(DECL_ARGS)
        p->offset = 0;
        p->rmargin = p->maxrmargin;
        p->flags &= ~TERMP_NOSPACE;
-
-       free(title);
-       free(buf);
 }
 
 
-/* FIXME: put in utility file for front-ends. */
 static size_t
-arg_width(const struct mdoc_argv *arg, int pos)
+a2height(const struct termp *p, const char *v)
 {
-       int              i, len;
-       const char      *p;
-
-       assert(pos < (int)arg->sz && pos >= 0);
-       assert(arg->value[pos]);
+       struct roffsu    su;
 
-       p = arg->value[pos];
 
-       if (0 == (len = (int)strlen(p)))
-               return(0);
-
-       for (i = 0; i < len - 1; i++) 
-               if ( ! isdigit((u_char)p[i]))
-                       break;
-
-       if (i == len - 1) 
-               if ('n' == p[len - 1] || 'm' == p[len - 1])
-                       return((size_t)atoi(p) + 2);
+       assert(v);
+       if ( ! a2roffsu(v, &su, SCALE_VS))
+               SCALE_VS_INIT(&su, atoi(v));
 
-       return((size_t)len + 2);
+       return(term_vspan(p, &su));
 }
 
 
-/* FIXME: put in utility file for front-ends. */
-static int
-arg_listtype(const struct mdoc_node *n)
+static size_t
+a2width(const struct termp *p, const char *v)
 {
-       int              i, len;
-
-       assert(MDOC_BLOCK == n->type);
-
-       len = (int)(n->args ? n->args->argc : 0);
+       struct roffsu    su;
 
-       for (i = 0; i < len; i++) 
-               switch (n->args->argv[i].arg) {
-               case (MDOC_Bullet):
-                       /* FALLTHROUGH */
-               case (MDOC_Dash):
-                       /* FALLTHROUGH */
-               case (MDOC_Enum):
-                       /* FALLTHROUGH */
-               case (MDOC_Hyphen):
-                       /* FALLTHROUGH */
-               case (MDOC_Tag):
-                       /* FALLTHROUGH */
-               case (MDOC_Inset):
-                       /* FALLTHROUGH */
-               case (MDOC_Diag):
-                       /* FALLTHROUGH */
-               case (MDOC_Item):
-                       /* FALLTHROUGH */
-               case (MDOC_Column):
-                       /* FALLTHROUGH */
-               case (MDOC_Hang):
-                       /* FALLTHROUGH */
-               case (MDOC_Ohang):
-                       return(n->args->argv[i].arg);
-               default:
-                       break;
-               }
+       assert(v);
+       if ( ! a2roffsu(v, &su, SCALE_MAX))
+               SCALE_HS_INIT(&su, term_strlen(p, v));
 
-       return(-1);
+       return(term_hspan(p, &su));
 }
 
 
-/* FIXME: put in utility file for front-ends. */
 static size_t
-arg_offset(const struct mdoc_argv *arg)
+a2offs(const struct termp *p, const char *v)
 {
-       int              len, i;
-       const char      *p;
-
-       assert(*arg->value);
-       p = *arg->value;
-
-       if (0 == strcmp(p, "left"))
-               return(0);
-       if (0 == strcmp(p, "indent"))
-               return(INDENT + 1);
-       if (0 == strcmp(p, "indent-two"))
-               return((INDENT + 1) * 2);
+       struct roffsu    su;
 
-       if (0 == (len = (int)strlen(p)))
+       if ('\0' == *v)
                return(0);
-
-       for (i = 0; i < len - 1; i++) 
-               if ( ! isdigit((u_char)p[i]))
-                       break;
-
-       if (i == len - 1) 
-               if ('n' == p[len - 1] || 'm' == p[len - 1])
-                       return((size_t)atoi(p));
-
-       return((size_t)len);
-}
-
-
-static int
-arg_hasattr(int arg, const struct mdoc_node *n)
-{
-
-       return(-1 != arg_getattr(arg, n));
-}
-
-
-static int
-arg_getattr(int v, const struct mdoc_node *n)
-{
-       int              val;
-
-       return(arg_getattrs(&v, &val, 1, n) ? val : -1);
-}
-
-
-static int
-arg_getattrs(const int *keys, int *vals, 
-               size_t sz, const struct mdoc_node *n)
-{
-       int              i, j, k;
-
-       if (NULL == n->args)
+       else if (0 == strcmp(v, "left"))
                return(0);
+       else if (0 == strcmp(v, "indent"))
+               return(term_len(p, INDENT + 1));
+       else if (0 == strcmp(v, "indent-two"))
+               return(term_len(p, (INDENT + 1) * 2));
+       else if ( ! a2roffsu(v, &su, SCALE_MAX))
+               SCALE_HS_INIT(&su, term_strlen(p, v));
 
-       for (k = i = 0; i < (int)n->args->argc; i++) 
-               for (j = 0; j < (int)sz; j++)
-                       if (n->args->argv[i].arg == keys[j]) {
-                               vals[j] = i;
-                               k++;
-                       }
-       return(k);
+       return(term_hspan(p, &su));
 }
 
 
-/* ARGSUSED */
+/*
+ * Determine how much space to print out before block elements of `It'
+ * (and thus `Bl') and `Bd'.  And then go ahead and print that space,
+ * too.
+ */
 static void
-fmt_block_vspace(struct termp *p, 
+print_bvspace(struct termp *p, 
                const struct mdoc_node *bl, 
                const struct mdoc_node *n)
 {
        const struct mdoc_node  *nn;
 
        term_newln(p);
-       if (arg_hasattr(MDOC_Compact, bl))
+
+       if (MDOC_Bd == bl->tok && bl->norm->Bd.comp)
+               return;
+       if (MDOC_Bl == bl->tok && bl->norm->Bl.comp)
                return;
 
        /* Do not vspace directly after Ss/Sh. */
@@ -655,13 +600,13 @@ fmt_block_vspace(struct termp *p,
 
        /* A `-column' does not assert vspace within the list. */
 
-       if (MDOC_Bl == bl->tok && arg_hasattr(MDOC_Column, bl))
+       if (MDOC_Bl == bl->tok && LIST_column == bl->norm->Bl.type)
                if (n->prev && MDOC_It == n->prev->tok)
                        return;
 
        /* A `-diag' without body does not vspace. */
 
-       if (MDOC_Bl == bl->tok && arg_hasattr(MDOC_Diag, bl)) 
+       if (MDOC_Bl == bl->tok && LIST_diag == bl->norm->Bl.type)
                if (n->prev && MDOC_It == n->prev->tok) {
                        assert(n->prev->body);
                        if (NULL == n->prev->body->child)
@@ -672,103 +617,92 @@ fmt_block_vspace(struct termp *p,
 }
 
 
-/* ARGSUSED */
-static int
-termp_dq_pre(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return(1);
-
-       term_word(p, "\\(lq");
-       p->flags |= TERMP_NOSPACE;
-       return(1);
-}
-
-
-/* ARGSUSED */
-static void
-termp_dq_post(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return;
-
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(rq");
-}
-
-
 /* ARGSUSED */
 static int
 termp_it_pre(DECL_ARGS)
 {
        const struct mdoc_node *bl, *nn;
        char                    buf[7];
-       int                     i, type, keys[3], vals[3];
-       size_t                  width, offset;
+       int                     i;
+       size_t                  width, offset, ncols, dcol;
+       enum mdoc_list          type;
 
        if (MDOC_BLOCK == n->type) {
-               fmt_block_vspace(p, n->parent->parent, n);
+               print_bvspace(p, n->parent->parent, n);
                return(1);
        }
 
        bl = n->parent->parent->parent;
+       type = bl->norm->Bl.type;
 
-       /* Save parent attributes. */
-
-       pair->flag = p->flags;
-
-       /* Get list width and offset. */
-
-       keys[0] = MDOC_Width;
-       keys[1] = MDOC_Offset;
-       keys[2] = MDOC_Column;
-
-       vals[0] = vals[1] = vals[2] = -1;
+       /* 
+        * First calculate width and offset.  This is pretty easy unless
+        * we're a -column list, in which case all prior columns must
+        * be accounted for.
+        */
 
        width = offset = 0;
 
-       (void)arg_getattrs(keys, vals, 3, bl);
-
-       type = arg_listtype(bl);
-       assert(-1 != type);
-
-       /* Calculate real width and offset. */
+       if (bl->norm->Bl.offs)
+               offset = a2offs(p, bl->norm->Bl.offs);
 
        switch (type) {
-       case (MDOC_Column):
-               if (MDOC_BODY == n->type)
+       case (LIST_column):
+               if (MDOC_HEAD == n->type)
                        break;
-               /* 
-                * Work around groff's column handling.  The offset is
-                * equal to the sum of all widths leading to the current
-                * column (plus the -offset value).  If this column
-                * exceeds the stated number of columns, the width is
-                * set as 0, else it's the stated column width (later
-                * the 0 will be adjusted to default 10 or, if in the
-                * last column case, set to stretch to the margin).
+
+               /*
+                * Imitate groff's column handling:
+                * - For each earlier column, add its width.
+                * - For less than 5 columns, add four more blanks per
+                *   column.
+                * - For exactly 5 columns, add three more blank per
+                *   column.
+                * - For more than 5 columns, add only one column.
                 */
-               for (i = 0, nn = n->prev; nn && 
-                               i < (int)bl->args->argv[vals[2]].sz; 
+               ncols = bl->norm->Bl.ncols;
+
+               /* LINTED */
+               dcol = ncols < 5 ? term_len(p, 4) : 
+                       ncols == 5 ? term_len(p, 3) : term_len(p, 1);
+
+               /*
+                * Calculate the offset by applying all prior MDOC_BODY,
+                * so we stop at the MDOC_HEAD (NULL == nn->prev).
+                */
+
+               for (i = 0, nn = n->prev; 
+                               nn->prev && i < (int)ncols; 
                                nn = nn->prev, i++)
-                       offset += arg_width 
-                               (&bl->args->argv[vals[2]], i);
+                       offset += dcol + a2width
+                               (p, bl->norm->Bl.cols[i]);
 
-               /* Whether exceeds maximum column. */
-               if (i < (int)bl->args->argv[vals[2]].sz)
-                       width = arg_width(&bl->args->argv[vals[2]], i);
-               else
-                       width = 0;
+               /*
+                * When exceeding the declared number of columns, leave
+                * the remaining widths at 0.  This will later be
+                * adjusted to the default width of 10, or, for the last
+                * column, stretched to the right margin.
+                */
+               if (i >= (int)ncols)
+                       break;
 
-               if (vals[1] >= 0) 
-                       offset += arg_offset(&bl->args->argv[vals[1]]);
+               /*
+                * Use the declared column widths, extended as explained
+                * in the preceding paragraph.
+                */
+               width = a2width(p, bl->norm->Bl.cols[i]) + dcol;
                break;
        default:
-               if (vals[0] >= 0) 
-                       width = arg_width(&bl->args->argv[vals[0]], 0);
-               if (vals[1] >= 0) 
-                       offset += arg_offset(&bl->args->argv[vals[1]]);
+               if (NULL == bl->norm->Bl.width)
+                       break;
+
+               /* 
+                * Note: buffer the width by 2, which is groff's magic
+                * number for buffering single arguments.  See the above
+                * handling for column for how this changes.
+                */
+               assert(bl->norm->Bl.width);
+               width = a2width(p, bl->norm->Bl.width) + term_len(p, 2);
                break;
        }
 
@@ -779,27 +713,27 @@ termp_it_pre(DECL_ARGS)
         */
 
        switch (type) {
-       case (MDOC_Bullet):
+       case (LIST_bullet):
                /* FALLTHROUGH */
-       case (MDOC_Dash):
+       case (LIST_dash):
                /* FALLTHROUGH */
-       case (MDOC_Hyphen):
-               if (width < 4)
-                       width = 4;
+       case (LIST_hyphen):
+               if (width < term_len(p, 4))
+                       width = term_len(p, 4);
                break;
-       case (MDOC_Enum):
-               if (width < 5)
-                       width = 5;
+       case (LIST_enum):
+               if (width < term_len(p, 5))
+                       width = term_len(p, 5);
                break;
-       case (MDOC_Hang):
+       case (LIST_hang):
                if (0 == width)
-                       width = 8;
+                       width = term_len(p, 8);
                break;
-       case (MDOC_Column):
+       case (LIST_column):
                /* FALLTHROUGH */
-       case (MDOC_Tag):
+       case (LIST_tag):
                if (0 == width)
-                       width = 10;
+                       width = term_len(p, 10);
                break;
        default:
                break;
@@ -813,11 +747,11 @@ termp_it_pre(DECL_ARGS)
        p->flags |= TERMP_NOSPACE;
 
        switch (type) {
-       case (MDOC_Diag):
+       case (LIST_diag):
                if (MDOC_BODY == n->type)
                        term_word(p, "\\ \\ ");
                break;
-       case (MDOC_Inset):
+       case (LIST_inset):
                if (MDOC_BODY == n->type) 
                        term_word(p, "\\ ");
                break;
@@ -828,36 +762,35 @@ termp_it_pre(DECL_ARGS)
        p->flags |= TERMP_NOSPACE;
 
        switch (type) {
-       case (MDOC_Diag):
+       case (LIST_diag):
                if (MDOC_HEAD == n->type)
-                       p->bold++;
+                       term_fontpush(p, TERMFONT_BOLD);
                break;
        default:
                break;
        }
 
        /*
-        * Pad and break control.  This is the tricker part.  Lists with
-        * set right-margins for the head get TERMP_NOBREAK because, if
-        * they overrun the margin, they wrap to the new margin.
-        * Correspondingly, the body for these types don't left-pad, as
-        * the head will pad out to to the right.
+        * Pad and break control.  This is the tricky part.  These flags
+        * are documented in term_flushln() in term.c.  Note that we're
+        * going to unset all of these flags in termp_it_post() when we
+        * exit.
         */
 
        switch (type) {
-       case (MDOC_Bullet):
+       case (LIST_bullet):
                /* FALLTHROUGH */
-       case (MDOC_Dash):
+       case (LIST_dash):
                /* FALLTHROUGH */
-       case (MDOC_Enum):
+       case (LIST_enum):
                /* FALLTHROUGH */
-       case (MDOC_Hyphen):
+       case (LIST_hyphen):
                if (MDOC_HEAD == n->type)
                        p->flags |= TERMP_NOBREAK;
                else
                        p->flags |= TERMP_NOLPAD;
                break;
-       case (MDOC_Hang):
+       case (LIST_hang):
                if (MDOC_HEAD == n->type)
                        p->flags |= TERMP_NOBREAK;
                else
@@ -880,7 +813,7 @@ termp_it_pre(DECL_ARGS)
                } else
                        p->flags |= TERMP_HANG;
                break;
-       case (MDOC_Tag):
+       case (LIST_tag):
                if (MDOC_HEAD == n->type)
                        p->flags |= TERMP_NOBREAK | TERMP_TWOSPACE;
                else
@@ -891,18 +824,21 @@ termp_it_pre(DECL_ARGS)
                if (NULL == n->next || NULL == n->next->child)
                        p->flags |= TERMP_DANGLE;
                break;
-       case (MDOC_Column):
-               if (MDOC_HEAD == n->type) {
-                       assert(n->next);
-                       if (MDOC_BODY == n->next->type)
-                               p->flags &= ~TERMP_NOBREAK;
-                       else
-                               p->flags |= TERMP_NOBREAK;
-                       if (n->prev) 
-                               p->flags |= TERMP_NOLPAD;
-               }
+       case (LIST_column):
+               if (MDOC_HEAD == n->type)
+                       break;
+
+               if (NULL == n->next)
+                       p->flags &= ~TERMP_NOBREAK;
+               else
+                       p->flags |= TERMP_NOBREAK;
+
+               assert(n->prev);
+               if (MDOC_BODY == n->prev->type) 
+                       p->flags |= TERMP_NOLPAD;
+
                break;
-       case (MDOC_Diag):
+       case (LIST_diag):
                if (MDOC_HEAD == n->type)
                        p->flags |= TERMP_NOBREAK;
                break;
@@ -919,7 +855,7 @@ termp_it_pre(DECL_ARGS)
        p->offset += offset;
 
        switch (type) {
-       case (MDOC_Hang):
+       case (LIST_hang):
                /*
                 * Same stipulation as above, regarding `-hang'.  We
                 * don't want to recalculate rmargin and offsets when
@@ -930,30 +866,31 @@ termp_it_pre(DECL_ARGS)
                                 MDOC_Bd == n->next->child->tok))
                        break;
                /* FALLTHROUGH */
-       case (MDOC_Bullet):
+       case (LIST_bullet):
                /* FALLTHROUGH */
-       case (MDOC_Dash):
+       case (LIST_dash):
                /* FALLTHROUGH */
-       case (MDOC_Enum):
+       case (LIST_enum):
                /* FALLTHROUGH */
-       case (MDOC_Hyphen):
+       case (LIST_hyphen):
                /* FALLTHROUGH */
-       case (MDOC_Tag):
+       case (LIST_tag):
                assert(width);
                if (MDOC_HEAD == n->type)
                        p->rmargin = p->offset + width;
                else 
                        p->offset += width;
                break;
-       case (MDOC_Column):
+       case (LIST_column):
                assert(width);
                p->rmargin = p->offset + width;
                /* 
                 * XXX - this behaviour is not documented: the
                 * right-most column is filled to the right margin.
                 */
-               if (MDOC_HEAD == n->type &&
-                               MDOC_BODY == n->next->type)
+               if (MDOC_HEAD == n->type)
+                       break;
+               if (NULL == n->next && p->rmargin < p->maxrmargin)
                        p->rmargin = p->maxrmargin;
                break;
        default:
@@ -967,21 +904,21 @@ termp_it_pre(DECL_ARGS)
 
        if (MDOC_HEAD == n->type)
                switch (type) {
-               case (MDOC_Bullet):
-                       p->bold++;
+               case (LIST_bullet):
+                       term_fontpush(p, TERMFONT_BOLD);
                        term_word(p, "\\[bu]");
-                       p->bold--;
+                       term_fontpop(p);
                        break;
-               case (MDOC_Dash):
+               case (LIST_dash):
                        /* FALLTHROUGH */
-               case (MDOC_Hyphen):
-                       p->bold++;
+               case (LIST_hyphen):
+                       term_fontpush(p, TERMFONT_BOLD);
                        term_word(p, "\\(hy");
-                       p->bold--;
+                       term_fontpop(p);
                        break;
-               case (MDOC_Enum):
+               case (LIST_enum):
                        (pair->ppair->ppair->count)++;
-                       (void)snprintf(buf, sizeof(buf), "%d.", 
+                       snprintf(buf, sizeof(buf), "%d.", 
                                        pair->ppair->ppair->count);
                        term_word(p, buf);
                        break;
@@ -994,20 +931,20 @@ termp_it_pre(DECL_ARGS)
         */
 
        switch (type) {
-       case (MDOC_Bullet):
+       case (LIST_bullet):
                /* FALLTHROUGH */
-       case (MDOC_Item):
+       case (LIST_item):
                /* FALLTHROUGH */
-       case (MDOC_Dash):
+       case (LIST_dash):
                /* FALLTHROUGH */
-       case (MDOC_Hyphen):
+       case (LIST_hyphen):
                /* FALLTHROUGH */
-       case (MDOC_Enum):
+       case (LIST_enum):
                if (MDOC_HEAD == n->type)
                        return(0);
                break;
-       case (MDOC_Column):
-               if (MDOC_BODY == n->type)
+       case (LIST_column):
+               if (MDOC_HEAD == n->type)
                        return(0);
                break;
        default:
@@ -1022,33 +959,42 @@ termp_it_pre(DECL_ARGS)
 static void
 termp_it_post(DECL_ARGS)
 {
-       int                type;
+       enum mdoc_list     type;
 
-       if (MDOC_BODY != n->type && MDOC_HEAD != n->type)
+       if (MDOC_BLOCK == n->type)
                return;
 
-       type = arg_listtype(n->parent->parent->parent);
-       assert(-1 != type);
+       type = n->parent->parent->parent->norm->Bl.type;
 
        switch (type) {
-       case (MDOC_Item):
+       case (LIST_item):
                /* FALLTHROUGH */
-       case (MDOC_Diag):
+       case (LIST_diag):
                /* FALLTHROUGH */
-       case (MDOC_Inset):
+       case (LIST_inset):
                if (MDOC_BODY == n->type)
-                       term_flushln(p);
+                       term_newln(p);
                break;
-       case (MDOC_Column):
-               if (MDOC_HEAD == n->type)
+       case (LIST_column):
+               if (MDOC_BODY == n->type)
                        term_flushln(p);
                break;
        default:
-               term_flushln(p);
+               term_newln(p);
                break;
        }
 
-       p->flags = pair->flag;
+       /* 
+        * Now that our output is flushed, we can reset our tags.  Since
+        * only `It' sets these flags, we're free to assume that nobody
+        * has munged them in the meanwhile.
+        */
+
+       p->flags &= ~TERMP_DANGLE;
+       p->flags &= ~TERMP_NOBREAK;
+       p->flags &= ~TERMP_TWOSPACE;
+       p->flags &= ~TERMP_NOLPAD;
+       p->flags &= ~TERMP_HANG;
 }
 
 
@@ -1057,23 +1003,90 @@ static int
 termp_nm_pre(DECL_ARGS)
 {
 
-       if (SEC_SYNOPSIS == n->sec)
-               term_newln(p);
-       p->bold++;
+       if (MDOC_BLOCK == n->type)
+               return(1);
+
+       if (MDOC_BODY == n->type) {
+               if (NULL == n->child)
+                       return(0);
+               p->flags |= TERMP_NOLPAD | TERMP_NOSPACE;
+               p->offset += term_len(p, 1) +
+                   (NULL == n->prev->child ? term_strlen(p, m->name) :
+                    MDOC_TEXT == n->prev->child->type ?
+                       term_strlen(p, n->prev->child->string) :
+                    term_len(p, 5));
+               return(1);
+       }
+
+       if (NULL == n->child && NULL == m->name)
+               return(0);
+
+       if (MDOC_HEAD == n->type)
+               synopsis_pre(p, n->parent);
+
+       if (MDOC_HEAD == n->type && n->next->child) {
+               p->flags |= TERMP_NOSPACE | TERMP_NOBREAK;
+               p->rmargin = p->offset + term_len(p, 1);
+               if (NULL == n->child) {
+                       p->rmargin += term_strlen(p, m->name);
+               } else if (MDOC_TEXT == n->child->type) {
+                       p->rmargin += term_strlen(p, n->child->string);
+                       if (n->child->next)
+                               p->flags |= TERMP_HANG;
+               } else {
+                       p->rmargin += term_len(p, 5);
+                       p->flags |= TERMP_HANG;
+               }
+       }
+
+       term_fontpush(p, TERMFONT_BOLD);
        if (NULL == n->child)
                term_word(p, m->name);
        return(1);
 }
 
 
+/* ARGSUSED */
+static void
+termp_nm_post(DECL_ARGS)
+{
+
+       if (MDOC_HEAD == n->type && n->next->child) {
+               term_flushln(p);
+               p->flags &= ~(TERMP_NOBREAK | TERMP_HANG);
+       } else if (MDOC_BODY == n->type && n->child) {
+               term_flushln(p);
+               p->flags &= ~TERMP_NOLPAD;
+       }
+}
+
+               
 /* ARGSUSED */
 static int
 termp_fl_pre(DECL_ARGS)
 {
 
-       p->bold++;
+       term_fontpush(p, TERMFONT_BOLD);
        term_word(p, "\\-");
-       p->flags |= TERMP_NOSPACE;
+
+       if (n->child)
+               p->flags |= TERMP_NOSPACE;
+       else if (n->next && n->next->line == n->line)
+               p->flags |= TERMP_NOSPACE;
+
+       return(1);
+}
+
+
+/* ARGSUSED */
+static int
+termp__a_pre(DECL_ARGS)
+{
+
+       if (n->prev && MDOC__A == n->prev->tok)
+               if (NULL == n->next || MDOC__A != n->next->tok)
+                       term_word(p, "and");
+
        return(1);
 }
 
@@ -1125,10 +1138,10 @@ termp_an_post(DECL_ARGS)
                return;
        }
 
-       if (arg_getattr(MDOC_Split, n) > -1) {
+       if (AUTH_split == n->norm->An.auth) {
                p->flags &= ~TERMP_NOSPLIT;
                p->flags |= TERMP_SPLIT;
-       } else {
+       } else if (AUTH_nosplit == n->norm->An.auth) {
                p->flags &= ~TERMP_SPLIT;
                p->flags |= TERMP_NOSPLIT;
        }
@@ -1141,7 +1154,8 @@ static int
 termp_ns_pre(DECL_ARGS)
 {
 
-       p->flags |= TERMP_NOSPACE;
+       if ( ! (MDOC_LINE & n->flags))
+               p->flags |= TERMP_NOSPACE;
        return(1);
 }
 
@@ -1163,25 +1177,30 @@ termp_rs_pre(DECL_ARGS)
 static int
 termp_rv_pre(DECL_ARGS)
 {
-       const struct mdoc_node  *nn;
+       int              nchild;
 
        term_newln(p);
        term_word(p, "The");
 
-       for (nn = n->child; nn; nn = nn->next) {
-               p->bold++;
-               term_word(p, nn->string);
-               p->bold--;
+       nchild = n->nchild;
+       for (n = n->child; n; n = n->next) {
+               term_fontpush(p, TERMFONT_BOLD);
+               term_word(p, n->string);
+               term_fontpop(p);
+
                p->flags |= TERMP_NOSPACE;
-               if (nn->next && NULL == nn->next->next)
-                       term_word(p, "(), and");
-               else if (nn->next)
-                       term_word(p, "(),");
-               else
-                       term_word(p, "()");
+               term_word(p, "()");
+
+               if (nchild > 2 && n->next) {
+                       p->flags |= TERMP_NOSPACE;
+                       term_word(p, ",");
+               }
+
+               if (n->next && NULL == n->next->next)
+                       term_word(p, "and");
        }
 
-       if (n->child->next)
+       if (nchild > 1)
                term_word(p, "functions return");
        else
                term_word(p, "function returns");
@@ -1189,11 +1208,12 @@ termp_rv_pre(DECL_ARGS)
                term_word(p, "the value 0 if successful; otherwise the value "
                        "-1 is returned and the global variable");
 
-       p->under++;
+       term_fontpush(p, TERMFONT_UNDER);
        term_word(p, "errno");
-       p->under--;
+       term_fontpop(p);
 
                term_word(p, "is set to indicate the error.");
+       p->flags |= TERMP_SENTENCE;
 
        return(0);
 }
@@ -1203,30 +1223,34 @@ termp_rv_pre(DECL_ARGS)
 static int
 termp_ex_pre(DECL_ARGS)
 {
-       const struct mdoc_node  *nn;
+       int              nchild;
 
+       term_newln(p);
        term_word(p, "The");
 
-       for (nn = n->child; nn; nn = nn->next) {
-               p->bold++;
-               term_word(p, nn->string);
-               p->bold--;
-               p->flags |= TERMP_NOSPACE;
-               if (nn->next && NULL == nn->next->next)
-                       term_word(p, ", and");
-               else if (nn->next)
+       nchild = n->nchild;
+       for (n = n->child; n; n = n->next) {
+               term_fontpush(p, TERMFONT_BOLD);
+               term_word(p, n->string);
+               term_fontpop(p);
+
+               if (nchild > 2 && n->next) {
+                       p->flags |= TERMP_NOSPACE;
                        term_word(p, ",");
-               else
-                       p->flags &= ~TERMP_NOSPACE;
+               }
+
+               if (n->next && NULL == n->next->next)
+                       term_word(p, "and");
        }
 
-       if (n->child->next)
+       if (nchild > 1)
                term_word(p, "utilities exit");
        else
                term_word(p, "utility exits");
 
                term_word(p, "0 on success, and >0 if an error occurs.");
 
+       p->flags |= TERMP_SENTENCE;
        return(0);
 }
 
@@ -1249,61 +1273,122 @@ termp_nd_pre(DECL_ARGS)
 
 
 /* ARGSUSED */
-static void
-termp_bl_post(DECL_ARGS)
+static int
+termp_bl_pre(DECL_ARGS)
 {
 
-       if (MDOC_BLOCK == n->type)
-               term_newln(p);
+       return(MDOC_HEAD != n->type);
 }
 
 
 /* ARGSUSED */
 static void
-termp_op_post(DECL_ARGS)
+termp_bl_post(DECL_ARGS)
 {
 
-       if (MDOC_BODY != n->type) 
-               return;
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(rB");
+       if (MDOC_BLOCK == n->type)
+               term_newln(p);
 }
 
-
 /* ARGSUSED */
 static int
 termp_xr_pre(DECL_ARGS)
 {
-       const struct mdoc_node *nn;
 
-       assert(n->child && MDOC_TEXT == n->child->type);
-       nn = n->child;
+       if (NULL == (n = n->child))
+               return(0);
+
+       assert(MDOC_TEXT == n->type);
+       term_word(p, n->string);
 
-       term_word(p, nn->string);
-       if (NULL == (nn = nn->next)) 
+       if (NULL == (n = n->next)) 
                return(0);
+
        p->flags |= TERMP_NOSPACE;
        term_word(p, "(");
        p->flags |= TERMP_NOSPACE;
-       term_word(p, nn->string);
+
+       assert(MDOC_TEXT == n->type);
+       term_word(p, n->string);
+
        p->flags |= TERMP_NOSPACE;
        term_word(p, ")");
 
        return(0);
 }
 
-
-/* ARGSUSED */
+/*
+ * This decides how to assert whitespace before any of the SYNOPSIS set
+ * of macros (which, as in the case of Ft/Fo and Ft/Fn, may contain
+ * macro combos).
+ */
 static void
-termp_vt_post(DECL_ARGS)
+synopsis_pre(struct termp *p, const struct mdoc_node *n)
 {
-
-       if (n->sec != SEC_SYNOPSIS)
+       /* 
+        * Obviously, if we're not in a SYNOPSIS or no prior macros
+        * exist, do nothing.
+        */
+       if (NULL == n->prev || ! (MDOC_SYNPRETTY & n->flags))
                return;
-       if (n->next && MDOC_Vt == n->next->tok)
+
+       /*
+        * If we're the second in a pair of like elements, emit our
+        * newline and return.  UNLESS we're `Fo', `Fn', `Fn', in which
+        * case we soldier on.
+        */
+       if (n->prev->tok == n->tok && 
+                       MDOC_Ft != n->tok && 
+                       MDOC_Fo != n->tok && 
+                       MDOC_Fn != n->tok) {
                term_newln(p);
-       else if (n->next)
+               return;
+       }
+
+       /*
+        * If we're one of the SYNOPSIS set and non-like pair-wise after
+        * another (or Fn/Fo, which we've let slip through) then assert
+        * vertical space, else only newline and move on.
+        */
+       switch (n->prev->tok) {
+       case (MDOC_Fd):
+               /* FALLTHROUGH */
+       case (MDOC_Fn):
+               /* FALLTHROUGH */
+       case (MDOC_Fo):
+               /* FALLTHROUGH */
+       case (MDOC_In):
+               /* FALLTHROUGH */
+       case (MDOC_Vt):
                term_vspace(p);
+               break;
+       case (MDOC_Ft):
+               if (MDOC_Fn != n->tok && MDOC_Fo != n->tok) {
+                       term_vspace(p);
+                       break;
+               }
+               /* FALLTHROUGH */
+       default:
+               term_newln(p);
+               break;
+       }
+}
+
+
+static int
+termp_vt_pre(DECL_ARGS)
+{
+
+       if (MDOC_ELEM == n->type) {
+               synopsis_pre(p, n);
+               return(termp_under_pre(p, pair, m, n));
+       } else if (MDOC_BLOCK == n->type) {
+               synopsis_pre(p, n);
+               return(1);
+       } else if (MDOC_HEAD == n->type)
+               return(0);
+
+       return(termp_under_pre(p, pair, m, n));
 }
 
 
@@ -1312,22 +1397,18 @@ static int
 termp_bold_pre(DECL_ARGS)
 {
 
-       p->bold++;
+       term_fontpush(p, TERMFONT_BOLD);
        return(1);
 }
 
 
 /* ARGSUSED */
-static void
-termp_fd_post(DECL_ARGS)
+static int
+termp_fd_pre(DECL_ARGS)
 {
 
-       if (n->sec != SEC_SYNOPSIS)
-               return;
-
-       term_newln(p);
-       if (n->next && MDOC_Fd != n->next->tok)
-               term_vspace(p);
+       synopsis_pre(p, n);
+       return(termp_bold_pre(p, pair, m, n));
 }
 
 
@@ -1346,10 +1427,10 @@ termp_sh_pre(DECL_ARGS)
                term_vspace(p);
                break;
        case (MDOC_HEAD):
-               p->bold++;
+               term_fontpush(p, TERMFONT_BOLD);
                break;
        case (MDOC_BODY):
-               p->offset = INDENT;
+               p->offset = term_len(p, INDENT);
                break;
        default:
                break;
@@ -1377,29 +1458,13 @@ termp_sh_post(DECL_ARGS)
 }
 
 
-/* ARGSUSED */
-static int
-termp_op_pre(DECL_ARGS)
-{
-
-       switch (n->type) {
-       case (MDOC_BODY):
-               term_word(p, "\\(lB");
-               p->flags |= TERMP_NOSPACE;
-               break;
-       default:
-               break;
-       }
-       return(1);
-}
-
-
 /* ARGSUSED */
 static int
 termp_bt_pre(DECL_ARGS)
 {
 
        term_word(p, "is currently in beta test.");
+       p->flags |= TERMP_SENTENCE;
        return(0);
 }
 
@@ -1409,7 +1474,7 @@ static void
 termp_lb_post(DECL_ARGS)
 {
 
-       if (SEC_LIBRARY == n->sec)
+       if (SEC_LIBRARY == n->sec && MDOC_LINE & n->flags)
                term_newln(p);
 }
 
@@ -1420,6 +1485,7 @@ termp_ud_pre(DECL_ARGS)
 {
 
        term_word(p, "currently under development.");
+       p->flags |= TERMP_SENTENCE;
        return(0);
 }
 
@@ -1432,7 +1498,7 @@ termp_d1_pre(DECL_ARGS)
        if (MDOC_BLOCK != n->type)
                return(1);
        term_newln(p);
-       p->offset += (INDENT + 1);
+       p->offset += term_len(p, (INDENT + 1));
        return(1);
 }
 
@@ -1448,94 +1514,64 @@ termp_d1_post(DECL_ARGS)
 }
 
 
-/* ARGSUSED */
-static int
-termp_aq_pre(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return(1);
-       term_word(p, "\\(la");
-       p->flags |= TERMP_NOSPACE;
-       return(1);
-}
-
-
-/* ARGSUSED */
-static void
-termp_aq_post(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return;
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(ra");
-}
-
-
 /* ARGSUSED */
 static int
 termp_ft_pre(DECL_ARGS)
 {
 
-       if (SEC_SYNOPSIS == n->sec)
-               if (n->prev && MDOC_Fo == n->prev->tok)
-                       term_vspace(p);
-       p->under++;
+       /* NB: MDOC_LINE does not effect this! */
+       synopsis_pre(p, n);
+       term_fontpush(p, TERMFONT_UNDER);
        return(1);
 }
 
 
 /* ARGSUSED */
-static void
-termp_ft_post(DECL_ARGS)
+static int
+termp_fn_pre(DECL_ARGS)
 {
+       int              pretty;
 
-       if (SEC_SYNOPSIS == n->sec)
-               term_newln(p);
-}
+       pretty = MDOC_SYNPRETTY & n->flags;
 
+       synopsis_pre(p, n);
 
-/* ARGSUSED */
-static int
-termp_fn_pre(DECL_ARGS)
-{
-       const struct mdoc_node  *nn;
+       if (NULL == (n = n->child))
+               return(0);
 
-       p->bold++;
-       term_word(p, n->child->string);
-       p->bold--;
+       assert(MDOC_TEXT == n->type);
+       term_fontpush(p, TERMFONT_BOLD);
+       term_word(p, n->string);
+       term_fontpop(p);
 
        p->flags |= TERMP_NOSPACE;
        term_word(p, "(");
+       p->flags |= TERMP_NOSPACE;
 
-       for (nn = n->child->next; nn; nn = nn->next) {
-               p->under++;
-               term_word(p, nn->string);
-               p->under--;
-               if (nn->next)
+       for (n = n->next; n; n = n->next) {
+               assert(MDOC_TEXT == n->type);
+               term_fontpush(p, TERMFONT_UNDER);
+               term_word(p, n->string);
+               term_fontpop(p);
+
+               if (n->next) {
+                       p->flags |= TERMP_NOSPACE;
                        term_word(p, ",");
+               }
        }
 
+       p->flags |= TERMP_NOSPACE;
        term_word(p, ")");
 
-       if (SEC_SYNOPSIS == n->sec)
+       if (pretty) {
+               p->flags |= TERMP_NOSPACE;
                term_word(p, ";");
+       }
 
        return(0);
 }
 
 
-/* ARGSUSED */
-static void
-termp_fn_post(DECL_ARGS)
-{
-
-       if (n->sec == SEC_SYNOPSIS && n->next)
-               term_vspace(p);
-}
-
-
 /* ARGSUSED */
 static int
 termp_fa_pre(DECL_ARGS)
@@ -1543,20 +1579,25 @@ termp_fa_pre(DECL_ARGS)
        const struct mdoc_node  *nn;
 
        if (n->parent->tok != MDOC_Fo) {
-               p->under++;
+               term_fontpush(p, TERMFONT_UNDER);
                return(1);
        }
 
        for (nn = n->child; nn; nn = nn->next) {
-               p->under++;
+               term_fontpush(p, TERMFONT_UNDER);
                term_word(p, nn->string);
-               p->under--;
-               if (nn->next)
+               term_fontpop(p);
+
+               if (nn->next) {
+                       p->flags |= TERMP_NOSPACE;
                        term_word(p, ",");
+               }
        }
 
-       if (n->child && n->next && n->next->tok == MDOC_Fa)
+       if (n->child && n->next && n->next->tok == MDOC_Fa) {
+               p->flags |= TERMP_NOSPACE;
                term_word(p, ",");
+       }
 
        return(0);
 }
@@ -1566,35 +1607,17 @@ termp_fa_pre(DECL_ARGS)
 static int
 termp_bd_pre(DECL_ARGS)
 {
-       int                      i, type;
+       size_t                   tabwidth, rm, rmax;
        const struct mdoc_node  *nn;
 
        if (MDOC_BLOCK == n->type) {
-               fmt_block_vspace(p, n, n);
+               print_bvspace(p, n, n);
                return(1);
-       } else if (MDOC_BODY != n->type)
-               return(1);
-
-       nn = n->parent;
+       } else if (MDOC_HEAD == n->type)
+               return(0);
 
-       for (type = -1, i = 0; i < (int)nn->args->argc; i++) {
-               switch (nn->args->argv[i].arg) {
-               case (MDOC_Ragged):
-                       /* FALLTHROUGH */
-               case (MDOC_Filled):
-                       /* FALLTHROUGH */
-               case (MDOC_Unfilled):
-                       /* FALLTHROUGH */
-               case (MDOC_Literal):
-                       type = nn->args->argv[i].arg;
-                       break;
-               case (MDOC_Offset):
-                       p->offset += arg_offset(&nn->args->argv[i]);
-                       break;
-               default:
-                       break;
-               }
-       }
+       if (n->norm->Bd.offs)
+               p->offset += a2offs(p, n->norm->Bd.offs);
 
        /*
         * If -ragged or -filled are specified, the block does nothing
@@ -1604,21 +1627,55 @@ termp_bd_pre(DECL_ARGS)
         * lines are allowed.
         */
        
-       assert(type > -1);
-       if (MDOC_Literal != type && MDOC_Unfilled != type)
+       if (DISP_literal != n->norm->Bd.type && 
+                       DISP_unfilled != n->norm->Bd.type)
                return(1);
 
+       tabwidth = p->tabwidth;
+       if (DISP_literal == n->norm->Bd.type)
+               p->tabwidth = term_len(p, 8);
+
+       rm = p->rmargin;
+       rmax = p->maxrmargin;
+       p->rmargin = p->maxrmargin = TERM_MAXMARGIN;
+
        for (nn = n->child; nn; nn = nn->next) {
-               p->flags |= TERMP_NOSPACE;
-               print_node(p, pair, m, nn);
-               if (NULL == nn->next)
+               print_mdoc_node(p, pair, m, nn);
+               /*
+                * If the printed node flushes its own line, then we
+                * needn't do it here as well.  This is hacky, but the
+                * notion of selective eoln whitespace is pretty dumb
+                * anyway, so don't sweat it.
+                */
+               switch (nn->tok) {
+               case (MDOC_Sm):
+                       /* FALLTHROUGH */
+               case (MDOC_br):
+                       /* FALLTHROUGH */
+               case (MDOC_sp):
+                       /* FALLTHROUGH */
+               case (MDOC_Bl):
+                       /* FALLTHROUGH */
+               case (MDOC_D1):
+                       /* FALLTHROUGH */
+               case (MDOC_Dl):
+                       /* FALLTHROUGH */
+               case (MDOC_Lp):
+                       /* FALLTHROUGH */
+               case (MDOC_Pp):
                        continue;
-               if (nn->prev && nn->prev->line < nn->line)
-                       term_flushln(p);
-               else if (NULL == nn->prev)
-                       term_flushln(p);
+               default:
+                       break;
+               }
+               if (nn->next && nn->next->line == nn->line)
+                       continue;
+               term_flushln(p);
+               p->flags |= TERMP_NOSPACE;
        }
 
+       p->tabwidth = tabwidth;
+       p->rmargin = rm;
+       p->maxrmargin = rmax;
        return(0);
 }
 
@@ -1627,47 +1684,48 @@ termp_bd_pre(DECL_ARGS)
 static void
 termp_bd_post(DECL_ARGS)
 {
+       size_t           rm, rmax;
 
        if (MDOC_BODY != n->type) 
                return;
-       p->flags |= TERMP_NOSPACE;
-       term_flushln(p);
-}
 
+       rm = p->rmargin;
+       rmax = p->maxrmargin;
 
-/* ARGSUSED */
-static int
-termp_qq_pre(DECL_ARGS)
-{
+       if (DISP_literal == n->norm->Bd.type || 
+                       DISP_unfilled == n->norm->Bd.type)
+               p->rmargin = p->maxrmargin = TERM_MAXMARGIN;
 
-       if (MDOC_BODY != n->type)
-               return(1);
-       term_word(p, "\"");
        p->flags |= TERMP_NOSPACE;
-       return(1);
-}
-
-
-/* ARGSUSED */
-static void
-termp_qq_post(DECL_ARGS)
-{
+       term_newln(p);
 
-       if (MDOC_BODY != n->type)
-               return;
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\"");
+       p->rmargin = rm;
+       p->maxrmargin = rmax;
 }
 
 
 /* ARGSUSED */
-static void
-termp_bx_post(DECL_ARGS)
+static int
+termp_bx_pre(DECL_ARGS)
 {
 
-       if (n->child)
+       if (NULL != (n = n->child)) {
+               term_word(p, n->string);
                p->flags |= TERMP_NOSPACE;
-       term_word(p, "BSD");
+               term_word(p, "BSD");
+       } else {
+               term_word(p, "BSD");
+               return(0);
+       }
+
+       if (NULL != (n = n->next)) {
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, "-");
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, n->string);
+       }
+
+       return(0);
 }
 
 
@@ -1676,14 +1734,15 @@ static int
 termp_xx_pre(DECL_ARGS)
 {
        const char      *pp;
+       int              flags;
 
        pp = NULL;
        switch (n->tok) {
        case (MDOC_Bsx):
-               pp = "BSDI BSD/OS";
+               pp = "BSD/OS";
                break;
        case (MDOC_Dx):
-               pp = "DragonFlyBSD";
+               pp = "DragonFly";
                break;
        case (MDOC_Fx):
                pp = "FreeBSD";
@@ -1701,40 +1760,20 @@ termp_xx_pre(DECL_ARGS)
                break;
        }
 
-       assert(pp);
        term_word(p, pp);
-       return(1);
-}
-
-
-/* ARGSUSED */
-static int
-termp_sq_pre(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return(1);
-       term_word(p, "\\(oq");
-       p->flags |= TERMP_NOSPACE;
-       return(1);
-}
-
-
-/* ARGSUSED */
-static void
-termp_sq_post(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return;
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(aq");
+       if (n->child) {
+               flags = p->flags;
+               p->flags |= TERMP_KEEP;
+               term_word(p, n->child->string);
+               p->flags = flags;
+       }
+       return(0);
 }
 
 
 /* ARGSUSED */
 static int
-termp_pf_pre(DECL_ARGS)
+termp_igndelim_pre(DECL_ARGS)
 {
 
        p->flags |= TERMP_IGNDELIM;
@@ -1747,7 +1786,6 @@ static void
 termp_pf_post(DECL_ARGS)
 {
 
-       p->flags &= ~TERMP_IGNDELIM;
        p->flags |= TERMP_NOSPACE;
 }
 
@@ -1764,8 +1802,8 @@ termp_ss_pre(DECL_ARGS)
                        term_vspace(p);
                break;
        case (MDOC_HEAD):
-               p->bold++;
-               p->offset = HALFINDENT;
+               term_fontpush(p, TERMFONT_BOLD);
+               p->offset = term_len(p, HALFINDENT);
                break;
        default:
                break;
@@ -1790,8 +1828,8 @@ static int
 termp_cd_pre(DECL_ARGS)
 {
 
-       p->bold++;
-       term_newln(p);
+       synopsis_pre(p, n);
+       term_fontpush(p, TERMFONT_BOLD);
        return(1);
 }
 
@@ -1801,11 +1839,17 @@ static int
 termp_in_pre(DECL_ARGS)
 {
 
-       p->bold++;
-       if (SEC_SYNOPSIS == n->sec)
+       synopsis_pre(p, n);
+
+       if (MDOC_SYNPRETTY & n->flags && MDOC_LINE & n->flags) {
+               term_fontpush(p, TERMFONT_BOLD);
                term_word(p, "#include");
+               term_word(p, "<");
+       } else {
+               term_word(p, "<");
+               term_fontpush(p, TERMFONT_UNDER);
+       }
 
-       term_word(p, "<");
        p->flags |= TERMP_NOSPACE;
        return(1);
 }
@@ -1816,23 +1860,14 @@ static void
 termp_in_post(DECL_ARGS)
 {
 
-       p->bold++;
+       if (MDOC_SYNPRETTY & n->flags)
+               term_fontpush(p, TERMFONT_BOLD);
+
        p->flags |= TERMP_NOSPACE;
        term_word(p, ">");
-       p->bold--;
 
-       if (SEC_SYNOPSIS != n->sec)
-               return;
-
-       term_newln(p);
-       /* 
-        * XXX Not entirely correct.  If `.In foo bar' is specified in
-        * the SYNOPSIS section, then it produces a single break after
-        * the <foo>; mandoc asserts a vertical space.  Since this
-        * construction is rarely used, I think it's fine.
-        */
-       if (n->next && MDOC_In != n->next->tok)
-               term_vspace(p);
+       if (MDOC_SYNPRETTY & n->flags)
+               term_fontpop(p);
 }
 
 
@@ -1840,11 +1875,11 @@ termp_in_post(DECL_ARGS)
 static int
 termp_sp_pre(DECL_ARGS)
 {
-       int              i, len;
+       size_t           i, len;
 
        switch (n->tok) {
        case (MDOC_sp):
-               len = n->child ? atoi(n->child->string) : 1;
+               len = n->child ? a2height(p, n->child->string) : 1;
                break;
        case (MDOC_br):
                len = 0;
@@ -1865,37 +1900,61 @@ termp_sp_pre(DECL_ARGS)
 
 /* ARGSUSED */
 static int
-termp_brq_pre(DECL_ARGS)
+termp_quote_pre(DECL_ARGS)
 {
 
-       if (MDOC_BODY != n->type)
+       if (MDOC_BODY != n->type && MDOC_ELEM != n->type)
                return(1);
-       term_word(p, "\\(lC");
-       p->flags |= TERMP_NOSPACE;
-       return(1);
-}
-
-
-/* ARGSUSED */
-static void
-termp_brq_post(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return;
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(rC");
-}
 
+       switch (n->tok) {
+       case (MDOC_Ao):
+               /* FALLTHROUGH */
+       case (MDOC_Aq):
+               term_word(p, "<");
+               break;
+       case (MDOC_Bro):
+               /* FALLTHROUGH */
+       case (MDOC_Brq):
+               term_word(p, "{");
+               break;
+       case (MDOC_Oo):
+               /* FALLTHROUGH */
+       case (MDOC_Op):
+               /* FALLTHROUGH */
+       case (MDOC_Bo):
+               /* FALLTHROUGH */
+       case (MDOC_Bq):
+               term_word(p, "[");
+               break;
+       case (MDOC_Do):
+               /* FALLTHROUGH */
+       case (MDOC_Dq):
+               term_word(p, "``");
+               break;
+       case (MDOC_Po):
+               /* FALLTHROUGH */
+       case (MDOC_Pq):
+               term_word(p, "(");
+               break;
+       case (MDOC__T):
+               /* FALLTHROUGH */
+       case (MDOC_Qo):
+               /* FALLTHROUGH */
+       case (MDOC_Qq):
+               term_word(p, "\"");
+               break;
+       case (MDOC_Ql):
+               /* FALLTHROUGH */
+       case (MDOC_So):
+               /* FALLTHROUGH */
+       case (MDOC_Sq):
+               term_word(p, "`");
+               break;
+       default:
+               abort();
+               /* NOTREACHED */
+       }
 
-/* ARGSUSED */
-static int
-termp_bq_pre(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return(1);
-       term_word(p, "\\(lB");
        p->flags |= TERMP_NOSPACE;
        return(1);
 }
@@ -1903,37 +1962,62 @@ termp_bq_pre(DECL_ARGS)
 
 /* ARGSUSED */
 static void
-termp_bq_post(DECL_ARGS)
+termp_quote_post(DECL_ARGS)
 {
 
-       if (MDOC_BODY != n->type)
+       if (MDOC_BODY != n->type && MDOC_ELEM != n->type)
                return;
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(rB");
-}
-
 
-/* ARGSUSED */
-static int
-termp_pq_pre(DECL_ARGS)
-{
-
-       if (MDOC_BODY != n->type)
-               return(1);
-       term_word(p, "\\&(");
        p->flags |= TERMP_NOSPACE;
-       return(1);
-}
-
-
-/* ARGSUSED */
-static void
-termp_pq_post(DECL_ARGS)
-{
 
-       if (MDOC_BODY != n->type)
-               return;
-       term_word(p, ")");
+       switch (n->tok) {
+       case (MDOC_Ao):
+               /* FALLTHROUGH */
+       case (MDOC_Aq):
+               term_word(p, ">");
+               break;
+       case (MDOC_Bro):
+               /* FALLTHROUGH */
+       case (MDOC_Brq):
+               term_word(p, "}");
+               break;
+       case (MDOC_Oo):
+               /* FALLTHROUGH */
+       case (MDOC_Op):
+               /* FALLTHROUGH */
+       case (MDOC_Bo):
+               /* FALLTHROUGH */
+       case (MDOC_Bq):
+               term_word(p, "]");
+               break;
+       case (MDOC_Do):
+               /* FALLTHROUGH */
+       case (MDOC_Dq):
+               term_word(p, "''");
+               break;
+       case (MDOC_Po):
+               /* FALLTHROUGH */
+       case (MDOC_Pq):
+               term_word(p, ")");
+               break;
+       case (MDOC__T):
+               /* FALLTHROUGH */
+       case (MDOC_Qo):
+               /* FALLTHROUGH */
+       case (MDOC_Qq):
+               term_word(p, "\"");
+               break;
+       case (MDOC_Ql):
+               /* FALLTHROUGH */
+       case (MDOC_So):
+               /* FALLTHROUGH */
+       case (MDOC_Sq):
+               term_word(p, "'");
+               break;
+       default:
+               abort();
+               /* NOTREACHED */
+       }
 }
 
 
@@ -1941,23 +2025,25 @@ termp_pq_post(DECL_ARGS)
 static int
 termp_fo_pre(DECL_ARGS)
 {
-       const struct mdoc_node *nn;
 
-       if (MDOC_BODY == n->type) {
+       if (MDOC_BLOCK == n->type) {
+               synopsis_pre(p, n);
+               return(1);
+       } else if (MDOC_BODY == n->type) {
                p->flags |= TERMP_NOSPACE;
                term_word(p, "(");
                p->flags |= TERMP_NOSPACE;
                return(1);
-       } else if (MDOC_HEAD != n->type) 
-               return(1);
+       } 
 
-       p->bold++;
-       for (nn = n->child; nn; nn = nn->next) {
-               assert(MDOC_TEXT == nn->type);
-               term_word(p, nn->string);
-       }
-       p->bold--;
+       if (NULL == n->child)
+               return(0);
+
+       /* XXX: we drop non-initial arguments as per groff. */
 
+       assert(n->child->string);
+       term_fontpush(p, TERMFONT_BOLD);
+       term_word(p, n->child->string);
        return(0);
 }
 
@@ -1967,13 +2053,16 @@ static void
 termp_fo_post(DECL_ARGS)
 {
 
-       if (MDOC_BODY != n->type)
+       if (MDOC_BODY != n->type) 
                return;
+
        p->flags |= TERMP_NOSPACE;
        term_word(p, ")");
-       p->flags |= TERMP_NOSPACE;
-       term_word(p, ";");
-       term_newln(p);
+
+       if (MDOC_SYNPRETTY & n->flags) {
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, ";");
+       }
 }
 
 
@@ -1981,27 +2070,18 @@ termp_fo_post(DECL_ARGS)
 static int
 termp_bf_pre(DECL_ARGS)
 {
-       const struct mdoc_node  *nn;
 
        if (MDOC_HEAD == n->type)
                return(0);
        else if (MDOC_BLOCK != n->type)
                return(1);
 
-       if (NULL == (nn = n->head->child)) {
-               if (arg_hasattr(MDOC_Emphasis, n))
-                       p->under++;
-               else if (arg_hasattr(MDOC_Symbolic, n))
-                       p->bold++;
-
-               return(1);
-       } 
-
-       assert(MDOC_TEXT == nn->type);
-       if (0 == strcmp("Em", nn->string))
-               p->under++;
-       else if (0 == strcmp("Sy", nn->string))
-               p->bold++;
+       if (FONT_Em == n->norm->Bf.font) 
+               term_fontpush(p, TERMFONT_UNDER);
+       else if (FONT_Sy == n->norm->Bf.font) 
+               term_fontpush(p, TERMFONT_BOLD);
+       else 
+               term_fontpush(p, TERMFONT_NONE);
 
        return(1);
 }
@@ -2014,8 +2094,9 @@ termp_sm_pre(DECL_ARGS)
 
        assert(n->child && MDOC_TEXT == n->child->type);
        if (0 == strcmp("on", n->child->string)) {
+               if (p->col)
+                       p->flags &= ~TERMP_NOSPACE;
                p->flags &= ~TERMP_NONOSPACE;
-               p->flags &= ~TERMP_NOSPACE;
        } else
                p->flags |= TERMP_NONOSPACE;
 
@@ -2029,7 +2110,7 @@ termp_ap_pre(DECL_ARGS)
 {
 
        p->flags |= TERMP_NOSPACE;
-       term_word(p, "\\(aq");
+       term_word(p, "'");
        p->flags |= TERMP_NOSPACE;
        return(1);
 }
@@ -2040,16 +2121,37 @@ static void
 termp____post(DECL_ARGS)
 {
 
+       /*
+        * Handle lists of authors.  In general, print each followed by
+        * a comma.  Don't print the comma if there are only two
+        * authors.
+        */
+       if (MDOC__A == n->tok && n->next && MDOC__A == n->next->tok)
+               if (NULL == n->next->next || MDOC__A != n->next->next->tok)
+                       if (NULL == n->prev || MDOC__A != n->prev->tok)
+                               return;
+
+       /* TODO: %U. */
+
+       if (NULL == n->parent || MDOC_Rs != n->parent->tok)
+               return;
+
        p->flags |= TERMP_NOSPACE;
-       switch (n->tok) {
-       case (MDOC__T):
-               term_word(p, "\\(rq");
-               p->flags |= TERMP_NOSPACE;
-               break;
-       default:
-               break;
-       }
-       term_word(p, n->next ? "," : ".");
+       if (NULL == n->next) {
+               term_word(p, ".");
+               p->flags |= TERMP_SENTENCE;
+       } else
+               term_word(p, ",");
+}
+
+
+/* ARGSUSED */
+static int
+termp_li_pre(DECL_ARGS)
+{
+
+       term_fontpush(p, TERMFONT_NONE);
+       return(1);
 }
 
 
@@ -2057,23 +2159,26 @@ termp____post(DECL_ARGS)
 static int
 termp_lk_pre(DECL_ARGS)
 {
-       const struct mdoc_node *nn;
+       const struct mdoc_node *nn, *sv;
+
+       term_fontpush(p, TERMFONT_UNDER);
+
+       nn = sv = n->child;
 
-       if (NULL == (nn = n->child->next)) {
-               p->under++;
+       if (NULL == nn || NULL == nn->next)
                return(1);
-       }
 
-       p->under++;
-       term_word(p, nn->string);
+       for (nn = nn->next; nn; nn = nn->next) 
+               term_word(p, nn->string);
+
+       term_fontpop(p);
+
        p->flags |= TERMP_NOSPACE;
        term_word(p, ":");
-       p->under--;
 
-       p->bold++;
-       for (nn = nn->next; nn; nn = nn->next) 
-               term_word(p, nn->string);
-       p->bold--;
+       term_fontpush(p, TERMFONT_BOLD);
+       term_word(p, sv->string);
+       term_fontpop(p);
 
        return(0);
 }
@@ -2081,20 +2186,74 @@ termp_lk_pre(DECL_ARGS)
 
 /* ARGSUSED */
 static int
-termp_under_pre(DECL_ARGS)
+termp_bk_pre(DECL_ARGS)
 {
 
-       p->under++;
+       switch (n->type) {
+       case (MDOC_BLOCK):
+               break;
+       case (MDOC_HEAD):
+               return(0);
+       case (MDOC_BODY):
+               if (n->parent->args || 0 == n->prev->nchild)
+                       p->flags |= TERMP_PREKEEP;
+               break;
+       default:
+               abort();
+               /* NOTREACHED */
+       }
+
        return(1);
 }
 
 
+/* ARGSUSED */
+static void
+termp_bk_post(DECL_ARGS)
+{
+
+       if (MDOC_BODY == n->type)
+               p->flags &= ~(TERMP_KEEP | TERMP_PREKEEP);
+}
+
+/* ARGSUSED */
+static void
+termp__t_post(DECL_ARGS)
+{
+
+       /*
+        * If we're in an `Rs' and there's a journal present, then quote
+        * us instead of underlining us (for disambiguation).
+        */
+       if (n->parent && MDOC_Rs == n->parent->tok &&
+                       n->parent->norm->Rs.quote_T)
+               termp_quote_post(p, pair, m, n);
+
+       termp____post(p, pair, m, n);
+}
+
 /* ARGSUSED */
 static int
 termp__t_pre(DECL_ARGS)
 {
 
-       term_word(p, "\\(lq");
-       p->flags |= TERMP_NOSPACE;
+       /*
+        * If we're in an `Rs' and there's a journal present, then quote
+        * us instead of underlining us (for disambiguation).
+        */
+       if (n->parent && MDOC_Rs == n->parent->tok &&
+                       n->parent->norm->Rs.quote_T)
+               return(termp_quote_pre(p, pair, m, n));
+
+       term_fontpush(p, TERMFONT_UNDER);
+       return(1);
+}
+
+/* ARGSUSED */
+static int
+termp_under_pre(DECL_ARGS)
+{
+
+       term_fontpush(p, TERMFONT_UNDER);
        return(1);
 }