/* Normal sized links */
a.menu:link { color: black; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12; background-color: #CC99FF }
a.menu:visited { color: black; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12; background-color: #CC99FF }
a.menu:hover { color: #9153CF; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12; background-color: #CC99FF }
a.menu:active { color: #9153CF; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12; background-color: #CC99FF }
/* Menu sized links */
a:link { color: black;background-color: #d5d5ff; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12}
a:visited { color: black;background-color: #d5d5ff; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12}
a:hover { color: #9153CF ;background-color: #d5d5ff;  text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12}
a:active { color: #9153CF ; background-color: #d5d5ff; text-decoration: none; font-weight : bold; font-family: verdana; font-size: 12}
/* Small links */
a.sm:link {color: #990000; text-decoration: none; font-family: verdana; font-size: 10px; }      /* normal */
a.sm:visited {color: #990000; text-decoration: none; font-family: verdana; font-size: 10px;}    /* visited */
a.sm:hover {color: #990000; text-decoration: underline; font-family: verdana; font-size: 10px;} /* onmouseover */
a.sm:active {color: #990000; text-decoration: none; font-family: verdana; font-size: 10px;}     /* active */
/* Big links */
a.big:link {color: #990000; text-decoration: none; font-family: verdana; font-size: 15px; }     /* normal */
a.big:visited {color: #990000; text-decoration: none; font-family: verdana; font-size: 15px;}   /* visited */
a.big:hover {color: #990000; text-decoration: underline; font-family: verdana; font-size: 15px;}/* onmouseover */
a.big:active {color: #990000; text-decoration: none; font-family: verdana; font-size: 15px;}    /* active */

/* General stylesettings */

body {
  margin-top: 0px;
  margin-left: 0px;
  margin-right: 0px;
  margin-bottom: 0px;
  font-family: verdana;
  font-size: 12px;
}
table {                  /* Default font size */
  font-size: 13px;
  color: #633096;
}