[Groff] font size bug in grohtml

[Werner LEMBERG]

Gaius,


the following code

  .ps 22
  x

produces

  <p><small><small>x</small></small></p>

which is really weird.  Reason is the following entry in devhtml/DESC:

  sizes 6 8 10 12 14 16 18 0

The first .ps request in a document sets the default document size for
the HTML document -- 22pt.  (BTW, is this documented somewhere?)  Due
to the discrete values in the `sizes' parameter the real glyph size is
set to 18pt, confusing grohtml.  I've fixed by this:

  size 1-1000 0

Now it works as expected.  BUT:

  .ps 10
  x
  .ps 12
  y

gives

  <p><small>x</small> y</p>

instead of

  <p>x <big>y</big></p>

This is really a bug.

Can you fix this?


   Werner