/* Homepage stylesheet
 * Garry Parker
 * 20/02/2001
 */
a:link {
    font-weight: bold;
    text-decoration: none;
    color: #5B69A6;
}

a:visited {
/*    color: #5d478b;*/
    color: #aa0000;
    text-decoration: none;
    font-weight: bold;
/*    color: #9B69c6;*/
}


th {
  font-family: tahoma, verdana, arial, helvetica, sans-serif;
	font-size: 13px;
    font-weight: bold;
    background: #5d478b;
	color: #ffffff;
}

td {
/*  font:x-small/1.5em "Trebuchet MS",Verdana,Arial,Sans-serif;*/
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
	font-size: 13px;
/*	margin-left: 10px;*/
/*	color: #5d478b;*/
}

table.coloured {
    background: #e6e6fa;
/*	margin-left: 10px;*/
/*	color: #5d478b;*/
}



.mainhead {
	font-size: 12px;
    color: #000000 ! important;
	font-weight: bold ! important;
	font-family: Verdana, sans-serif, serif;
    text-decoration: none;
    padding-top: 5px;
}

.menuhead {
	font-size: 11px;
    color: #ffffff;
	font-family: Verdana, sans-serif, serif;
    text-decoration: none;
    padding-top: 5px;
}

.menuitem {
    color: #ffffff ! important;
	font-family: Verdana, Helvetica, sans-serif;
	font-size: 10px;
    text-decoration: none ! important;
	font-weight: normal ! important;
    padding-top: 4px;
}

.menusel {
    color: #ffffff ! important;
	font-family: Verdana, Helvetica, sans-serif;
	font-size: 10px;
    text-decoration: none ! important;
    font-weight: bold;
    padding-top: 4px;
}

h1 {
  font:x-small "Trebuchet MS",Verdana,Arial,Sans-serif;
	color: #5d478b;
	font-size: 17px;
    font-weight: bold;
    padding-top: 15px;
}

h2 {
  font:x-small "Trebuchet MS",Verdana,Arial,Sans-serif;
	color: #000000;
	font-size: 15px;
    font-weight: bold;
/*    margin-top: -5px;*/
    margin-top: -5px;
/*    margin-bottom: -15px;*/
    margin-bottom: -10px;
}

h3 {
	color: #000000;
	font-size: 12px;
    font-weight: bold;
}

pre {
/*    font-family: tahoma, verdana, arial, helvetica, sans-serif;*/
    font-family: "courier new", "monotype.com", courier, monospace;
	color: #000080;
    font-size : 12px;
/*	display: inline;*/
    margin-left: 15px;
    margin-bottom: 15px;
}

pre.script {
	background-color: #F7F7F7;
	border: 1px solid #5d478b;
	color: #000080;
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	padding: 5px;
	white-space: pre;
  margin-right: 6px;
}

code {
/*    font-family: courier;*/
    font-family: "courier new", "monotype.com", courier, monospace;
	color: #000080;
    font-size : 12px;
/*    background: #F0F0F0;*/
/*    padding: 5px;*/
    margin-left: 15px;
}

dl {
	/* IE doesn't seem to inherit this, so force it here... */
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
	margin-left: 10px;
	font-size: 12px;
}

ul,ol {
    margin-left: 10px;
	padding-left: 0px  /* Needed by Mozilla */
}

li {
	font-size: 12px;
/*	color: #5d478b;*/
	color: #000000;
/* disc,circle,square,decimal,lower-roman,upper-roman,lower-alpha,upper-alpha,none*/
/*	list-style-type: none;*/
	list-style-type: circle;
    margin-left: 25px;
}

i {
	color: #5d478b;
    font-weight: bold;
}