/* Sans-serif font. */
h1, h2, h3, h4, h5, h6,
div.title, caption.title,
thead, p.table.header,
div#toctitle,
span#author, span#revnumber, span#revdate, span#revremark,
div#footer,
th {
	font-family: "Lucida Grande", "Luxi Sans", "Trebuchet MS", "Bitstream Vera Sans", helvetica, verdana, arial, sans-serif;
}

p, td {
	font-family: inherit;
}

div.overview_img {
	float: right;
	margin-top: 10px;
	margin-left: 20px;
	margin-bottom: 10px;
}

th {
	text-align: left;
	background: #F0F0F0;
	padding: 5px;
}

th.sub {
	background: none;
}

tr.current {
	background: #90EE90;
}

tt {
	font-size: inherit;
}

body {
	margin: 1em 5% 1em 5%;
}

a {
	color: #990000;
	text-decoration: underline;
}
a:visited {
	color: #990000;
}

.dg { color: #990000; }

em {
	font-style: italic;
	/* color: navy; */
}

strong {
	font-weight: bold;
	color: black;
	/* color: #083194; */
}

tt {
	font-size: inherit;
	color: navy;
}

h1, h2, h3, h4, h5, h6 {
	color: #990000;
	margin-left: -1.0em;
	margin-top: 1.2em;
	margin-bottom: 0.5em;
	line-height: 1.3;
}

h1 {
	color: #990000;
}
h2 {
  padding-top: 0.5em;
}
h3 {
  float: left;
}
h3 + * {
  clear: left;
}

hr {
  border: 1px solid silver;
}

p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

ul, ol, li > p {
  margin-top: 0;
}
/* ul > li     { color: #aaa; } */
ul > li > * { color: black; }

pre {
  padding: 0;
  margin: 0;
}

dl {
  margin-top: 0.8em;
  margin-bottom: 0.8em;
}
dt {
	margin-top: 0.5em;
	margin-bottom: 0;
	font-weight: bold;
	color: #990000;
}
dd > *:first-child {
  margin-top: 0.1em;
}

ul, ol {
    list-style-position: outside;
}
span.aqua { color: aqua; }
span.black { color: black; }
span.blue { color: blue; }
span.fuchsia { color: fuchsia; }
span.gray { color: gray; }
span.green { color: green; }
span.lime { color: lime; }
span.maroon { color: maroon; }
span.navy { color: navy; }
span.olive { color: olive; }
span.purple { color: purple; }
span.red { color: red; }
span.silver { color: silver; }
span.teal { color: teal; }
span.white { color: white; }
span.yellow { color: yellow; }

span.aqua-background { background: aqua; }
span.black-background { background: black; }
span.blue-background { background: blue; }
span.fuchsia-background { background: fuchsia; }
span.gray-background { background: gray; }
span.green-background { background: green; }
span.lime-background { background: lime; }
span.maroon-background { background: maroon; }
span.navy-background { background: navy; }
span.olive-background { background: olive; }
span.purple-background { background: purple; }
span.red-background { background: red; }
span.silver-background { background: silver; }
span.teal-background { background: teal; }
span.white-background { background: white; }
span.yellow-background { background: yellow; }

span.big { font-size: 2em; }
span.small { font-size: 0.6em; }