/* $Id: docstyles.css,v 1.5 2005/07/11 00:14:26 ehood Exp $
 */

body {
  font-family: verdana, sans-serif;
  background: #DDDDDD;
  color: #000000;
}

a:link { color: #0000EE; }
a:visited { color: #551A8B; }
a[href]:hover { color: #009900; }
a:active { color: #FF0000; }

h1, h2 {
  margin-top: 0.0em;
}

h3 {
  padding-top: 1.0em;
  font-style: italic;
}
h4 {
  margin-left: +1.0em;
}

hr {
  background: #0000CC;
  padding: 0em;
  margin: 0em;
}

pre.code {
  background: #EEEEEE;
  border-color: black;
  border-style: solid;
  border-width: thin;
  padding: 0.25em;
}
tt.icode {
  background: #EEEEEE;
  padding-left: 0.25em;
  padding-right: 0.25em;
}

pre.shell {
  background: #337733;
  color: white;
  padding: 0.25em;
}
tt.ishell {
  background: #337733;
  color: white;
  padding-left: 0.25em;
  padding-right: 0.25em;
}
a.shell:link { color: #FFFF88; }
a.shell:visited { color: #88FFFF; }
a.shell[href]:hover { color: #00EEEE; }
a.shell:active { color: #FF0000; }

table.note {
  padding-left: 0.25em;
  background: #EEEEDD;
  border-color: black;
  border-style: solid;
  border-width: thin;
}
table.caution {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
  padding-left: 0.25em;
  background: #FFFF99;
  border-color: black;
  border-style: solid;
  border-width: thin;
}
table.tip {
  padding-left: 0.25em;
  background: #CCDDEE;
  border-color: black;
  border-style: solid;
  border-width: thin;
}

blockquote.mail {
  background: #EEEEEE;
  font-size: smaller;
  padding-left: 0.25em;
  padding-right: 0.25em;
  margin-right: 0em;
  border-color: black;
  border-style: solid;
  border-width: thin;
}

.example {
  background: #EEEEEE;
  border-color: black;
  border-style: solid;
  border-width: thin;
  padding: 0.25em;
}

.highlight {
  background: #FFFF00;
}