body {
	font-family: Times-Roman;
  font-size: 14pt;
  font-style: normal;
	border-width: 0.1pt;
	border-style: solid;
	border-color: #888888;
}

/* main title */
h1, h3 {
	color: #888888;
	text-align: center;
}

h2 {
	color: #888888;
	text-decoration: underline;
}

/* navigation menu */
table.menu {
	border: solid;
	font-family: sans-serif;
	font-size: 11pt;
  font-weight: bold;
	border-width: 1px;
	margin: 0em 0em 0em 0em;
	background: #cfddcf;
}

td.menu a:link, td.menu a:visited {
	text-decoration: none;
	padding: 2px 4px 2px 4px;
	border: none;
	color: #555555;
	text-align: center;
}

td.menu a:hover {
	color: white;
	background: #448844;
}

div.content {
	background: white;
	text-align: justify;	
	text-indent: 3ex;
	margin: 1em 2em 0em 2em;
}

dt {
	background: #e0e0e0;
	margin: 1em 3em 0.5em 3em;
}

dd {
	margin: 0.5em 3em 0.5em 3em;
}

table.releases {
	margin: 2em 2em 2em 2em;
}

table.documentation {
	margin: 2em 2em 2em 2em;
}

table.schedule {
	border: solid;
	margin: 2em 2em 2em 2em;
}

table.schedule td {border: thin solid;}
thead {background: #cccccc;}
th {text-align: center;}
td {padding: 0.5ex;}

div.address {
	text-align: center;
}

span.email {
	color: blue;
}

/* images */
img.alignleft {
	margin: 1em 1em 1em 0;
	display: inline;
}

div.footer {
	font-family: serif;
	border: solid;
	border-width: 1px;
	margin: 2em 2em 0em 0em;
	background: #cfddcf;
	color: #808080;
	text-align: center;
}

div.advertisement {
	font-family: sans-serif;
	font-size: 11pt;
  font-weight: bold;
	color: #000000;
	text-align: center;
	border: solid;
	border-width: 1px;
	margin: 0em 0em 0em 0em;
	background: #cfddcf;
}

div.advertisement_title {
	font-family: sans-serif;
  font-weight: bold;
	color: #000000;
	background: white;
	border: solid;
	border-width: 1px;
	margin: 4px 4px 4px 4px;
}