<!--

		#container {
			width: 82%;
			border: 1px solid darkblue;
			margin: 10px;
			margin-left: auto;
			margin-right: auto;
			padding: 10px;
		}
		#topbanner {
			padding: 5px;
			margin-bottom: 5px;
			background-color: rgb(255, 255, 255);
		}

		#banner {
			padding: 1px;
			margin-bottom: 1px;
			background-color: #6699CC;
		}

		#contentPartial {
			padding: 5px;
			margin-left: 155px;
			background-color: rgb(213, 219, 225);
		}
		
		#contentFull {
			padding: 0px;
			background-color: rgb(213, 219, 225);
		}

		#verticalMenu {
			float: left;
			width: 150px;
			\width: 150px;
			w\idth: 140px;
			margin: 0;
			margin-right: 5px;
			padding: 5px;
			background-color: rgb(235, 235, 235);
		}
		
		#flag {
			float: right;
		}

		#footer {
			clear: both;
			text-align: right;
			background-color: #6699CC;
		}
-->