/* CSS Document */
h3, .lastupdate {
  text-align: center;
}
h2 {
	margin-bottom: 3px;
	font-size: medium;
}
h4 {
	margin-bottom: 2px;
}
p, ul {
  margin-top: 0px;
}
pre {
	border: thin solid Black;
	background-color: #DCDCDC;
	margin: 0 20px 0 20px;
	padding: 5px;
	font-size: smaller;
}
.header {
	background-color: #FFE4C4;
	padding: 3px;
	font-size: 18px;
	text-align: center;
	font-style: italic;
}
.lastupdate {
	font-size: small;
	margin: 0 0 20px 0;
}

img { 
  padding: 10px 0;
}

#footer {padding: 40px 0 0 0; text-align: center; color: gray; font-size: 60%}
#footer span {padding: 1px 50px; border-top: 1px solid black}

#menu { 
  float: left; 
  text-align: center; 
  width: 9em; 
  margin: 0 20px 0 0;
  padding: 10px 0;
  background-color: #FFE4C4
}

#main {padding-left: 11em; padding-top: 5px}

#menu a { font-size: 14pt; line-height: 26pt }
#menu a:link, #menu a:visited { color: black; font-weight: bold; text-decoration: none}
#menu a:hover, #menu a:active { color: white; background-color: black }

p.quote {
  border: 1px dotted black;
  padding: 6px 15px;
  background-color: #EEE;
}

table.params {
  border-collapse: collapse;
  border: 1px solid black;
  margin-bottom: 10px;
}

table.params td {
  border: 1px solid black;
  padding: 4px;
}

table.params td.par {
  text-align: center;
  background-color: #EEE;
  font-weight: bold;
}