/*  SETTINGS FOR links page*/

h3 {
   font-family : Helvetica, Times, Serif;
   font-size : 125%;
   font-style : normal;
   font-weight : normal;
   margin : 10px 1px 5px 5px;
}

dt {
   font-family : Sans;
   font-size : 100%;
   margin : 3px 20px 1px 10px;
}

dd {
   font-family : Courier, monospace;
   font-size : 100%;
   margin : 3px 10px 1px 25px;
}