html {
	background : #ffffff;
	color: #000000;
	font-family: Arial, Helvetica, sans-serif;
	padding: 0px;
}

i {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
}

body {
	margin: 0px;
	font-size: 13px;
}




th {
	font-size: 13px;
	font-weight: bold;
}
	
	
p.withunderline
{
	margin-left: 7mm;
	margin-right: 7mm;
	margin-top:11mm;
	margin-bottom:7mm;
	border-bottom: thin solid #666666}
	
table {
	border: 0;
}
	
td {
	font-size: 13px;
}

.title {
	font-weight: bold;
	font-size: 15px;
}

.textTitle {
	font-weight: bold;
}

.errorLink {
	text-decoration: none;
	color: red;
}

.unselectedMenu {
	text-decoration: none; font-style: oblique; color: #808000; /* olive */}

.unselectedMenu:hover {
	text-decoration: underline; font-style: oblique;
	color: #333333;
}


.selectedMenu {
	text-decoration: none;
	color: #000000;
	font-weight: bold
}

.divider {
	color: #eeeeee;
	font-size: 11px;
}

a {
	font-size: 13px;
	color : #999999;
	text-decoration : none;
}

A[href]{
	color: #808000;  /* olive */
        font-style: oblique
}

A[href]:hover {
	text-decoration: underline;
	color: #333333;
}



ul {
	padding: 0px 0px 0px 50px;
}

li
{
	list-style-type: square;
}

.lower {
	text-transform: lower;
}

h1 {
	font-weight: bold;
	font-size: 19px;
	color: #000000;
        margin-left: 7mm;
	margin-right: 7mm;
	margin-top:11mm;
	margin-bottom:7mm;
   }

h2 {
	font-weight: bold;
	font-size: 16px;
	color: #000000;
}

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

h4 {
	font-weight: bold;
	font-size: 13px;
	text-transform: lowercase;
}

pre {
	width: 90%;
	font-family:  Courier, Courier New, mono;
	font-size: 12px;
	font-weight: normal;
	background: #666666;	/* light olive */
	border: solid #dddddd;
	border-width: 1;
	padding: 8px;
	line-height: 1.2em;
}

blockquote{
	width: 90%;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: normal;
	background: /*#f3f3cc*/ #eff3cc;	/* light olive */
	border: solid #dddddd;
	border-width: 1;
	padding: 8px;
	line-height: 1.2em;
}

code {
	width: 90%;
	font-family: Courier, Courier New, mono;
	font-size: 12px;
	font-weight: normal;
	background: #f3f3f3;	/* light gray */
	border: solid #dddddd;
	border-width: 1;
	padding: 8px;
	line-height: 1.2em;
}