/* ##### Common Styles ##### */

body {
  background-color: #ffffff;
  color: #000000;
  font-family: Tahoma, sans-serif;
  font-size: small;
  line-height: 1.3em;
  margin: 0;
  padding: 0;
}

acronym, .titleTip {
  border-bottom: 1px dotted rgb(61,92,122);
  cursor: help;
  margin: 0;
  padding: 0 0 0.4px 0;
}

img {
  border: none;
}

a:link {
  color: #b84e0d;
  text-decoration: none;
}

a:hover {
  color: #f26711;
  text-decoration: underline;
}

a:visited {
  color: #880000;
  text-decoration: none;
}

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

h3 {
  color: #777777;
}

h4 {
  color: #777777;
}

.doNotDisplay {
  display: none !important;
}

/* ##### Header ##### */

.navBar {
  color: #ffffff;
  background-color: #777777;
  margin: 0;
  padding-left: 25px;
  padding-top: 2px;
  border-bottom: 2px dotted #777777;
}

.navBar span {
  color: #ffffff;
}

.navBar a {
  color: #ffffff;
  background-color: transparent;
  font-weight: bold;
  text-decoration: none;
  margin: 0;
  padding: 0 0.25ex 0 0;
}

.navBar a:hover {
  text-decoration: none;
}

.navBar a:visited {
  color: #ffffff;
}

/* ##### Content ##### */

#content {
  margin: 0;
  clear: left;
}

#content h1 {
  color: #777777;
  background-color: transparent;
  line-height: 1.3em;
  margin: 0;
  padding: 1ex 0 0 0;
}

#content h2 {
  color: #777777;
  background-color: transparent;
  line-height: 1.3em;
  margin: 0;
  padding: 1ex 0 0 0;
}

#content h3 {
  color: #777777;
  background-color: transparent;
  line-height: 1.3em;
  margin: 0;
  padding: 1ex 0 0 0;
}

#content h4 {
  color: #777777;
  background-color: transparent;
  line-height: 1.3em;
  margin: 0;
  padding: 1ex 0 0 0;
}

#content h5 {
  color: #777777;
  background-color: transparent;
  line-height: 1.3em;
  margin: 0;
  padding: 1ex 0 0 0;
}

#content p {
  line-height: 1.3em;
  margin: 1em 0 1.5em 0;
  padding: 0;
}

.rowOfBoxes {
  clear: both;
}

.fullWidth {
  width: 96%;
  padding: 0 1.2em;
  border-left: none;
}

/* #### Overrides from the old NetBSD.css stylesheet ### */

table {
	font-size: 100%; /* keeps font size the same as in the body */
	Border-Width: 0.0em;
}

table td {
	Font-Family: Tahoma, Verdana, sans-serif;
	padding: 3pt;
}

.centered {
	Width: 90%;
	Margin-Left: auto;
	Margin-Right: auto;
}

.strikethrough {
	Text-Decoration: line-through;
}

.programlisting {
	Background-Color: #f5f5f5;
	Line-Height: 1.2em;
	Border-Color: #d4d4d4;
	Border-Style: solid;
	Border-Width: thin;
	Margin-Left: auto;
	Margin-Right: auto;
	Padding: 5pt;
	Width: 90%;
}


tr {
	Vertical-Align: top;
}

td {
	Vertical-Align: top;
}

th, td.theader {
	Background-Color: #f8f8f8;
	Font-Weight: bold;
	Vertical-Align: middle;
	Padding: 5pt;
}

.center {
	Vertical-Align: middle;
	Text-Align: center;
}

tt.filename {
	Line-Height: 1.3em;
	Color: #AA0000;
}

tt.varname {
	Line-Height: 1.3em;
	Color: #2222AA;
}

.webtoc {
	Font-Family: "Lucida Grande", Geneva, Arial, Verdana, sans-serif;
}

.pkgname {
	Font-Family: "Arial", "Helvetica", "Courier New", "Courier", "fixed", monospace;
	Font-Style: Italic;
	Text-Decoration: none;
	Line-Height: 1.3em;
}

.gnatspr {
	Font-Weight: bold;
}

.warning {
	Color: red;
}