pre.display and serif

[Karl Berry]

Hi Patrice,

Looking at your most recent manual updates first ...

    -pre.display @{ font-family:inherit @}
    -pre.smalldisplay @{ font-family:inherit; font-size:smaller @}
    +pre.display @{ font-family:serif @}
    +pre.smalldisplay @{ font-family:serif; font-size:smaller @}

It seems wrong to me to force "serif".  @display should use the same
font as the main document, which might well be sans serif.  That's why I
used "inherit" in the first place.  Is there a problem with it?

k