/* Adjust docbook <screen></screen> areas */

pre.screen {
  color: #22FF22;
  background-color : black;
  border-style: solid;
  border-width: 2pt;
  border-color: gray;
  margin: 24pt;
}

.userinput {
  color: yellow;
  background-color: black;
}

.prompt {
  color: white;
  background-color: black;
}

/* Turn off underlining on links to make it a little more readable */

a {
  text-decoration: none;
}

/* Adjust docbook <errortext></errortext> areas */

.errortext {
  color: white;
  background-color: red;
  font-weight: bold;
}

/* Adjust docbook <table></table> areas */

div.table th {
  background-color: black;
  color: white;
}

/* Adjust docbook <programlisting></programlisting> areas */

pre.programlisting {
  border-style: solid;
  border-width: 1pt;
  padding: 6pt;
  border-color: black;
  background: url(computer_paper.png);
  margin: 24pt;
}

/* Adjust header/footer regions */

.navheader {
  border-style: groove;
  background-color : #F5DEB3;
  color: black;
  border-color: black;
  font-size: 9pt;
}

.navfooter {
  border-style: groove;
  background-color : #F5DEB3;
  color: black;
  border-color: black;
  font-size: 9pt;
}