Boost logo

Boost :

From: David Abrahams (david.abrahams_at_[hidden])
Date: 2002-02-13 15:04:13


----- Original Message -----
From: "Brey, Edward D" <EdwardDBrey_at_[hidden]>

> Yes. boost.css has many lines like: "FONT-SIZE: 13pt". Specifying the
> font-size in points causes an exact pixel count rendering under IE, so you
> lose size control as the viewer. This usage of point sizes is indeed
quite
> obnoxious, bordering on evil. :-) Instead the style sheet should be using
> percent and/or relative sizes. For example: "font-size: 150%".

Thanks; changing it as shown below fixed it. I also took out the explicit
specification of courier font (I use a sans-serif fixed width font and
didn't want it to be overridden):

H1
{
    FONT-SIZE: 200%
    COLOR: darkblue
}
H2
{
    FONT-SIZE: 150%;
}
H3
{
    FONT-SIZE: 125%;
}
H4
{
    FONT-SIZE: 108%;
}
BODY
{
    FONT-SIZE: 100%;
    BACKGROUND-COLOR: #ffffff
}
PRE
{
    MARGIN-LEFT: 2pc;
}
CODE
{
 white-space: pre
}
.index
{
    TEXT-ALIGN: left
}
.page-index
{
 TEXT-ALIGN: left
}
.definition
{
 TEXT-ALIGN: left
}
.footnote
{
    FONT-SIZE: 66%;
    VERTICAL-ALIGN: super;
    TEXT-DECORATION: none
}
.function-semantics
{
    CLEAR: left
}


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk