*** The function face-bold-p returns t if a face should be bold.<BR>
set-face-bold-p sets that flag.
<P>