	<style type="text/css">		<!--			.app_chk {				text-align: right;				width: 5%;			}			.dark {				background-color: #AAAAAA;				color: #000000;				font-size: 14px;			}			.header {				background-color: #006600;				color: #FFFFFF;				font-size: 16px;				font-weight: bold;				text-align: center;			}			.input {				background-color: #FFFFFF;			}			.label {				background-color: #C0C0C0;				color: #006600;				font-size: 14px;				font-weight: bold;				text-align: left;			}			.light {				background-color: #DDDDDD;				color: #000000;				font-size: 14px;			}			.nav {				font-size: 12px;				font-variant: small-caps;			}			.toc {				background-color: #FFFFFF;				border: 0;				width: 80%;			}			body {				font-size: 14px;				background-color:#FFFFFC;			}			table {				background-color: #C0C0C0;				font-size: 12px;			}			td {				padding-left: .5em;				padding-right: .5em;						}			body {font: 12px Verdana, Arial, sans-serif;			}			ul {				list-style-type: none; /* suppression of useless elements */				width: 100%; /* precision for Opera */			}			li { float: top;} /* lists aligned to the left */			menu a {				margin: 1 2px;				width: 100px; /* definition of menu button size */				height: 20px;				float: left;				display: block;				text-align: left;				border: 1px solid gray;				text-decoration: none;				color: #000;				background: #fff;				background-image: url("\images\background.jpg");			}	 			.menu a:hover {				background: #ccc;				border: 1px solid gray; 			}			.menu a:active {				background: gray;				border: 1px solid gray; 				color: #fff;			}		--></style>