body, div, p, td, th {
	font-family: verdana, sans-serif, arial;
	font-size: 12px;
	color: #000000;
}

h1 {
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 18px;
	font-weight: bold;
	color: #333333;
}

h2 {
  color:#E47911;
  font-size: 14px;
  font-weight:bold;
  margin:13px 0 1px 0;
}

h3 {
  color:#146EB4;
  font-size: 12px;
  font-weight:bold;
  padding:0;
}

h3.orange {
  color:#E47911;
}

p {
  margin:0 0 1em 0;
}

a {
  color: #004B91; 
  text-decoration: none;
}

a:hover {
  color:#E47911;
  text-decoration:none;
}

code {
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
}

.topictitle {
	padding-bottom: 5px;
	border-bottom: 1px solid rgb(204, 204, 204);
}

div.informaltable{
	padding: 0.5em;
}

.informaltable table{
  border-top: 1px solid #cccccc;
  border-left: 1px solid #cccccc;
  border-bottom: 0px;
  border-right: 0px;
  border-spacing: 0px;
}

.informaltable td{
  font-size: 12px;
  padding: 5px 5px 5px 5px;
  border-bottom: 1px solid #cccccc;
  border-right: 1px solid #cccccc;
  border-left: 0px;
  border-top: 0px;
  vertical-align:top;
}

.informaltable th{
  font-size: 12px;
  padding: 5px 5px 5px 5px;
  border-bottom: 1px solid #cccccc;
  border-right: 1px solid #cccccc;
  border-left: 0px;
  border-top: 0px;
  vertical-align:top;
  background-color: #eeeeee;
  color: #333333;
  font-size: 12px;
  font-weight: bold;
  text-align: left;
}

.programlisting{
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
	margin-top: 5px;
	margin-bottom: 5px;
	color: #000066;
	padding: 5px 3px 5px 5px; 
	background-color: #eff7ff;
	border: 1px dashed #333;
	width: 99%;
}