/*-------------------------------------------------------------------------------------	html redefinitions */
											
	body{
		margin: 16px 20px 16px 20px;
		font: normal 12px/14px verdana;
		}

	th{
		font:normal 12px/14px verdana;
		}

	td{
		font:normal 11px/20px verdana;
		padding: 0px 10px 0px 10px;
		color:#777;
		}

	hr{
		width:200px;

		text-align: left;		/* align left IE */
		margin: 10px auto 5px 0;	/* align left Mozilla */

		border: none 0; 
		border-top: 1px solid #ccc;	/* the border */
		height: 1px;			/* whatever the total width of the border-top and border-bottom equal */
		}

	pre{
		font:normal 12px/16px verdana;
		}

/*-------------------------------------------------------------------------------------	wrap pre tags */

	pre{
		white-space: pre-wrap;       /* css-3 			*/
		white-space: -moz-pre-wrap;  /* Mozilla, since 1999 	*/
		white-space: -pre-wrap;      /* Opera 4-6 		*/
		white-space: -o-pre-wrap;    /* Opera 7 		*/
		word-wrap: break-word;       /* Internet Explorer 5.5+ 	*/
		}

/*-------------------------------------------------------------------------------------	directory links */

	pre a:link, pre a:visited{
		font:normal 11px/13px verdana;
		text-decoration:none;
		color:#000;
		}

	pre a:hover, pre a:active{
		color:#00f;
		text-decoration:underline;
		}

/*-------------------------------------------------------------------------------------	content links */

	a:link, a:visited{
		font:normal 12px/16px verdana;
		text-decoration:none;
		color:#009;
		}

	a:hover, a:active{
		color:#00f;
		text-decoration:underline;
		}

/*-------------------------------------------------------------------------------------	sorting links */


	th a:link, th a:visited{
		font:bold 10px/13px verdana;
		text-decoration:none;
		color:#009;
		}

	th a:hover, th a:active{
		color:#00f;
		text-decoration:underline;
		}

/*-------------------------------------------------------------------------------------	html pages */

	.inset{
		margin:50px 100px 50px 100px;
		}

/*-------------------------------------------------------------------------------------	back link */

	#back{
		font:normal 12px/16px verdana;
		padding:0px;
		margin:0px;
		}

/*-------------------------------------------------------------------------------------	logo at left */

	#logo{
		display:block;
		float:left;
		margin:0px 20px 20px 0px;
		}

/*-------------------------------------------------------------------------------------	fin */