body {
font-family: "Lucida Grande", "Bitstream Vera Sans", "Verdana";
font-size: 13px;
}
a {
    color: rgb(39, 50, 114);
}