@import url("common.css");
@import url("masthead.css");

h1 {
  font-family: Tahoma,Helvetica,sans-serif;
  font-weight: bold;
  font-size: 1.8em;
  border: 1pt solid #a0a0a0;
  background-color: #F5E5D5;
  padding: 10px;
  margin: 5pt 10pt;
}

.whiteImageWrapper {
  background-color: white;
  border: 1pt solid #a0a0a0;
  padding: 5pt;
  margin: 10pt;
}


.links {
  border: 1px solid #d05010;
  padding: 0.3em 1em;
  margin: 1em 12em 1em 5em;
  background-color: #ffffff;
}

h3 {
  font-family: Tahoma,Helvetica,sans-serif;
  font-weight: bold;
  color: #a00000;
  font-size: 0.9em;
  padding: 0;
  margin: 0.0em 0 0.1em 0;
}

h2 {
  font-family: Tahoma,Helvetica,sans-serif;
  font-weight: bold;
  color: #a00000;
  font-size: 1.1em;
  padding: 0;
  margin: 0.0em 0 0.1em 0;
}

li {
  margin: 0.3em 0;
}

.links p, .text p {
  padding: 0;
  margin: 0 0 0.5em 0;
}

.title {
  background-color: #ffefef;
}

.links ul {
  padding-top: 0;
  padding-bottom: 0;
  margin-top: 0;
  margin-bottom: 0;
}

.links ul, .links p {
  font-family: Arial,Helvetica,sans-serif;
  font-size: 0.8em;
}

.menu a, .links a {
  font-family: Arial,Helvetica,sans-serif;
  font-weight: bold;
  font-size: 1.1em;
  text-decoration: none;
  background-color: #ffffff;
  color: #0000b0;
  margin: 0em;
  padding: 0 0.1em;
}

.links h2 a {
  font-family: Tahoma,Helvetica,sans-serif;
  font-weight: bold;
  font-size: 1.0em;
  color: #a00000;
}

.menu a:visited, .links a:visited {
  color: #6060a0;
}

.links h2 a:visited {
  color: black;
}

.menu a:hover, .links a:hover {
  background-color: #f0ff60;
  color: black;
}

.text {
  border: 1px solid #d05010;
  padding: 1em 1em;
  margin: 1em 3em 1em 5em;
  background-color: #ffffff;
  font-family: Arial,Helvetica,sans-serif;
}

.property {
  margin: 0;
  padding: 0;
}

.label {
  font-family: Tahoma,Helvetica,sans-serif;
  font-size: 1.2em;
  font-weight: bold;
  position: relative;
  top: 0.05em;
}

.article {
  border: 1px solid #d05010;
  padding: 1em 1em 0.5em 1em;
  margin: 1em 3em 1em 5em;
  background-color: #ffffff;
  font-family: "Times New Roman",serif;
}

.snippets {
  border: 1px solid #404040;
  padding: 1em 1em 0.5em 1em;
  margin: 1em 3em 1em 5em;
  background-color: #ffffff;
}

.article pre.code, .snippet pre.code, .snippet .codeWrappable {
  border: 1px solid #a0a0a0;
  padding: 0.2em;
  margin: 0.1em;
  background-color: #ffffe5;
  font: 0.8em "Courier New",mono;
}

.article pre.output {
  border: 1px solid #a0a0a0;
  padding: 0.2em;
  margin: 0.1em;
  background-color: #e9e9ff;
  font: 0.8em "Courier New",mono;
}

.snippet h2 {
  margin: 1.0em 0.1em 0.2em 0.1em;
}

.article li {
  margin: 0;
}

.article h2, .article h3, .article h4 {
  margin: 1.2em 0 0.2em 0;
  padding: 0;
}

.article h2:first-child {
  margin-top: 0em;
}

.article p {
  padding: 0;
  margin: 0 1em 0.5em 0;
}

.article ul {
  padding: 0 0 0 2em;
  margin: 0 1em 0.5em 0;
}

.copyright {
  font-family: Arial,Helvetica,sans-serif;
  font-size: 0.7em;
}

.credit {
  font-family: Arial,Helvetica,sans-serif;
  font-size: 0.8em;
  font-style: italic;
  text-align: right;
  margin: 0 0 1em 0;
}

.example {
  font-family: monospace;
  margin: 0.5em 0 0.5em 4em;
  padding: 0.2em 0.4em;
  border: 1px solid #999;
  background-color: #f6faff;
}

blockquote {
  font-family: sans-serif;
  font-size: 0.8em;
  margin: 0.5em 0 0.5em 4em;
  padding: 0.2em 0.4em;
  border: 1px solid #999;
  background-color: #f6faff;
}

.updated {
  font-family: sans-serif;
  font-size: 0.7em;
  text-align: right;
  margin: 0;
  padding: 0;
  color: #036;
}