body {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 76%;
  background: white;
}
table {
  font-size: 100%;
}
a {
  text-decoration: none;
  color: #4A6799;
}
a.visited {
  color: #D0DCF7;
}
a:hover {
  text-decoration: underline;
}
h1, h2, h3, h4, h1 input, h2 input, h3 input {
	margin: 0px;
	border: 0px;
	padding: 0px;
	font-family : Arial, Helvetica, Verdana, Geneva, sans-serif;
	font-weight: bold;
	color: #4A6799;
}
h1, h2 {
	border-bottom: 1px solid #4A6799;
	margin-top: 3px;
	padding-bottom: 3px;
	padding-right: 10px;
}
h1, h1 input {
	text-transform: uppercase;
}
h1 {
	font-size: 130%;
	margin-bottom: 3px;
}
h1 input, h2 input, h3 input {
	font-size: 100%;
	width: 90%;
}
h2 {
	margin-bottom: 5px;
	font-size: 120%;
}
h2 code input {
	font-family: courier, fixed;
}
h3 {
	margin-bottom: 3px;
	font-size: 100%;
}
h4 {
	margin-bottom: 3px;
	font-size: 100%;	
	font-weight: normal;
}
P, PRE, UL, #content TABLE {
	margin-left: 40px;
	margin-right: 40px;
}
PRE {
	background-color: #F6EFE6;
	padding: 10px;
	font-size: 100%;
}
#content > PRE, P > CODE {
	font-size: 120%;
}
.crumbs {
  margin-bottom: 8px;
  padding-bottom: 3px;
}

.crumbs ul {
  height: 1.2em;
  margin: 0px;
  padding: 0px;
  list-style: none;
}
.crumbs li {
  padding: 0px;
/*  padding-right:5px;*/
  float: left;
  font-size: 0.8em;

/* argh! Time to study some usability books. 
  background-image: url('http://old.ariadne-cms.org/graphics/crumb.gif');
  background-repeat: no-repeat;
  background-position: 5px center;
*/
}

.crumbs a {
  text-decoration: none;
  color: #4A6799;

}
.crumbs a:hover {
  text-decoration: underline;
}
iframe {
  border: none;
}