
body, table { 
  font-family: Verdana,Geneva,Arial,Helvetic,sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  font-size: 12pt;
}

pre, code { 
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  font-family: monospace;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  font-size: 12pt;
}

pre, code { 
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  font-family: monospace;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  font-size: 10pt;
}

h1 { 
  font-family: Verdana,Geneva,Arial,Helvetic,sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  font-size: 18pt;
  text-transform: uppercase;
}

h3 { 
  margin-top: 1px;
  margin-bottom: 1px;
  font-family: Verdana,Geneva,Arial,Helvetic,sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  font-size: 75%;
  text-transform: uppercase;
}

table.alg {
  border-width: 1px;
  border-spacing: 0px ;
  border-collapse: collapse;
	border-style: solid;
	border-color: #007;
	width: 100%;
	margin-bottom: 16pt;
  font-family: Verdana,Geneva,Arial,Helvetic,sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  font-size: 12pt;
}

table.alg td {
  border-width: 1px;
  border-style: solid;
  border-collapse: collapse;
}

table.alg td.algtitle {
  font-weight: bold;
	background: #007;
  color: #FFF;
}

table.alg td.algubcsat {
  font-family: monospace;
  font-weight: bold;
  font-size: 12pt;
	background: #CCF;
  color: #000;
}

table.alg td.algitem {
  font-size: 10pt;
  vertical-align:top;
  width: 10%;
}

.littitle {
  font-weight: bold;
}

table.alg td.litentry {
  font-size: 11pt;
}

table.alg td.algnote {
  font-size: 10pt;
}

table.alg td.algnote ul {
  margin-left: 15pt;
  margin-bottom: 0;
}



A:link    { color:#0000D0; text-decoration:none }
A:visited { color:#0000D0; text-decoration:none }
A:active  { color:#0000D0; text-decoration:none }
A:hover   { color:#0080FF; text-decoration:none }

