<!--
/****** START basic settings ******/
body, table {
	font: 12px verdana, tahoma, arial, sans-serif;
}

body {
	margin: 15px;
}

div.body { margin: 10px; }

h1,h2,h3,h4,h5,h6 { line-height: normal; margin-top: 30px; }
h1 { font-family: serif; font-size: 30px; }
h2 { font-size: 135%; }
h3 { font-size: 110%; }
h4 { font-size: 100%; }
h5 { font-size: 80%; }
h6 { font-size: 60%; }

/****** END basic settings ******/


/******* START change log settings *******/

.obsolete { 
	color: #999999; 
}

a.totop:link, a.totop:visited, a.totop:hover {
	color: #999999; 
	font-size: 10px;
}

div.copyright {
	margin-left: 10px;
	margin-top: 4px;
}
div.copyright a:link, div.copyright a:visited {
	color: blue; 
	text-decoration: underline;
}
div.copyright a:hover {
	color: blue; 
	text-decoration: none;
}

small	{ 
	font-size: 10px; 
}

table.default {
	border: 1px solid #336699;
	width: 95%;
	font-size: 13px;
	line-height : normal;
	margin-top: 10px;
	margin-bottom: 80px;
}

th { 
	color: #FFFFFF; 
	background-color: #FF0000; 
	padding-bottom: 7px; 
	padding-top: 7px; 
}


a.indexlog:link, a.indexlog:visited {
	color: blue;
	text-decoration: underline;
}

a.indexlog:hover {
	color: red;	
	text-decoration: underline;
}

span.date {
	font: 10px verdana, tahoma, arial, sans-serif;
	color: #000000;
}
// -->