/* folder and file links */
A FONT {
FONT-SIZE: 10px;
FONT-FAMILY: Verdana, Helvetica;
}

/* navigation bar and other links */
A {
FONT-SIZE: 10px;
FONT-FAMILY: Verdana;
}

/* non-link text */
FONT {
FONT-SIZE: 10px;
FONT-FAMILY: Verdana;
}