/*
   This file assumes that reset and fonts are in effect, ie. font-size
   is set to verdana, 13px.
*/