[boost] Strange font settings on www.boost.org

From: Jens Seidel (jensseidel_at_[hidden])
Date: 2008-04-01 12:30:28

Hi,

I noticed that headlines look very strange on the new website. I think
the problem is

#content h1, #content h2, #content h3, #content h4, #content h5, #content h6 {
  margin: 0em;
  color: #000000;
  font-family: "Times New Roman",serif;
  font-variant: small-caps;
  clear: both;
}

in http://www.boost.org/style/css_0/content.css.

Why is a special font used? I do not have such a font and I would also prefer
if the browser would be able to use a default. As far as I know it is save to
use a few standard font aliases such as sans-serif or similar in HTML but
"Times New Roman" is probably not one of these, right?

Jens