.menuborder {
	background: rgb(131, 131, 153);
	border: 2px solid rgb(131, 131, 153);

}

.menubody {
        font-family: bitstream vera sans, luxi sans, verdana, geneva, arial, helvetica, sans-serif;
        font-size: 13px;
        background: white;
}

.menutitle {
        font-size: 15px;
        text-align: center;
}

a.menu:link {
        font-family: bitstream vera sans, luxi sans, verdana, geneva, arial, helvetica, sans-serif;
        font-size: 13px;
        text-decoration: none;
        color: #003300;
}

a.menu:visited      {
        font-family: bitstream vera sans, luxi sans, verdana, geneva, arial, helvetica, sans-serif;
        font-size: 13px;
        text-decoration: none;
        color: #726461;
}

a.menu:hover        {
        font-family: bitstream vera sans, luxi sans, verdana, geneva, arial, helvetica, sans-serif;
        font-size: 13px;
        text-decoration: none;
        color: #841212;
        background-color: #fff0c0;
}

a.menu:active       {
        font-family: bitstream vera sans, luxi sans, verdana, geneva, arial, helvetica, sans-serif;
        font-size: 13px;
        text-decoration: none;
        color: #ff0000;
}