Default workspace font

The default workspace font appears to be Lucida Bright 9 pt. Not sure
where that font came from, it doesn't seem to be from a standard Win XP
ST2 installation. So when changing even the font size, you can't select
that font again. Lucida Console and Lucida Sans Unicode do seem to be
available.

Ted