font: menu?

In reviewing an off-the-shelf Web-browser-based application, I found the
following font setting in several places among the default CSS files:

font: menu;

I can't imagine the designers thought that anyone would have a font
called "menu" on their computers, and "menu" isn't one of the standard
font-family values like serif or monotype. Is this somewhere else in the
standard, or do any of you know a platform that defines an extension
like this?

On 25/02/2006 14:56, Harlan Messinger wrote:

[snip]

font: menu;

[snip]

Is this somewhere else in the standard [...]?

The following values refer to system fonts:

caption
The font used for captioned controls (e.g., buttons,
drop-downs, etc.).
icon
The font used to label icons.
menu
The font used in menus (e.g., dropdown menus and menu lists).
message-box
The font used in dialog boxes.
small-caption
The font used for labeling small controls.
status-bar
The font used in window status bars.

System fonts may only be set as a whole; that is, the font
family, size, weight, style, etc. are all set at the same time.

-- 15.2.5 Shorthand font property: the 'font' property[1],
CSS 2 Specification

Mike


[1] <http://www.w3.org/TR/REC-CSS2/fonts.html#font-shorthand>

--
Michael Winter
Prefix subject with [News] before replying by e-mail.

Michael Winter wrote:

On 25/02/2006 14:56, Harlan Messinger wrote:

[snip]

font: menu;

[snip]

Is this somewhere else in the standard [...]?

The following values refer to system fonts:
[...]

-- 15.2.5 Shorthand font property: the 'font' property[1],
CSS 2 Specification

Oh, for some reason it didn't occur to me to look elsewhere than under

font-family, because I thought I already knew all the components of the
"font" shorthand property. Thanks.