/* discuss.css */
h1 {
  color: #006;
  font-family: monospace;
  text-align: right;
}

h1.friendly {
  color: #fff;
  text-align: center;
  border-style: solid;
  border-color: #000;
  padding: 1em;
  margin: 2em;
  background: #c33;
}

h2 {
  color: #600;
  font-family: monospace;
}

h3 {
  color: #333;
  font-family: sans-serif;
  font-weight: bold;
}

body {
  font-family: sans-serif;
}

.contact {
  border-top: double;
  padding: 0.5em;
  font-style: italic;
  font-weight: bold;
  color: #666;
  margin-top: 0
}

.history {
  padding: 0 0.5em;
  margin-bottom: 0;
  font-style: italic;
  font-weight: normal;
  text-align: right;
  font-size: small;
  color: #006;
}

.code {
  font-family: monospace;
  color: #003;
}

div.code {
  margin: 1em 5em;
  padding: 5px;
  background: #ffd;
}

code {
  font-family: monospace;
  color: #003;
  white-space: pre-wrap;
}

.footnote {
  border-top: solid;
  border-width: 1px;
}

.noteref {
  font-size: small;
  vertical-align: super;
}

li.gnu {
  background: #eee;
}

li.outofdate {
  color: #c00;
}

.notice {
  color: #f93;
  font-size: small;
}

div.figure {
  text-align: center;
}

div.figure table {
  border-style: solid;
}

div.figure td {
  border-style: solid;
  border-width: 1px;
  border-color: #555;
}

div.figure th {
  border-style: solid;
  border-width: 1px;
  border-color: #555;
  font-weight: bold;
}

div.figure caption {
  text-align: center;
  font-family: serif;
  font-style: italic;
}

a.fourohfour {
  color: #333;
  text-decoration: none;
}