/* (C) 2008, 2009, 2010, 2012 D. V. Wiebe */
a:link {
  color: #08F;
}

a:visited {
  color: #80F;
}

div.copy {
  position: absolute;
  left: 1%;
}

div.foot {
  border-top: 1px solid black;
  margin: 0pt;
  margin-top: 1ex;
  padding-top: 1ex;
  font-style: italic;
}

div.indent {
  margin-left: 1em;
}

div.inset {
  margin-left: 2em;
  margin-right: 2em;
}

div.menu {
  background: #700;
  padding-bottom: 1.0ex;
  padding-top: 1.0ex;
  color: white;
  position: absolute;
  right: 1%;
  width: 22%;
}

div.main {
  left: 1%;
  width: 76%;
  text-align: justify;
}

div.sflogo {
  text-align: center;
}

div.syntax {
  margin-top: 1ex;
  margin-bottom: 1ex;
  margin-left: 2em;
  font-family: monospace;
  text-align: left;
}

div.w3c {
  position: absolute;
  right: 24%;
}

h1 {
  text-align: center;
}

h2 {
  background: #AAA;
  text-align: center;
}

h2.menu {
  background: #700;
  font-size: 100%;
  text-align: left;
  padding-left: 1em;
}

h3 {
  background: #DDD;
  padding-left: 1em;
}

img {
  border: 0pt;
}

p.inset {
  padding-left: 2em;
  padding-right: 2em;
}

p.hang {
  text-indent: -2em;
  padding-left: 2em;
}

div.parens {
  padding-top: 1ex;
  font-size: small;
  padding-left: 2em;
  padding-right: 2em;
}

span.manlink {
  font-size: small;
  font-weight: normal;
  float: right;
}

div.footnote {
  font-size: small;
}

div.topbar {
  text-align: center;
  font-size: small;
}

span.character {
  color: #A00;
  font-weight: bold;
}

span.comment {
  color: #00A;
}

span.identifier {
  font-weight: bold
}

span.keyword {
  color: #0A0;
}

span.literal {
  color: #880;
  font-weight: bold;
}

span.operator {
  color: #088;
  font-weight: bold;
}

span.preprocessor {
  color: #808;
}

span.string {
  color: #A00;
}

span.syntax {
  font-family: monospace;
  text-align: left;
}

span.spacer {
  background: #EEE;
}

span.syntax.c89 {
  font-size: x-small;
}

td {
  padding-left: 1em;
  padding-right: 1em;
  text-align: justify;
}

td.example {
  font-family: monospace;
  text-align: left;
  font-size: small;
  width: 50%;
  background: #EEE;
}

td.span {
  text-align: center;
}

td.spacer {
  background: #EEE;
}

td.syntax {
  font-family: monospace;
}

th {
  background: #E88;
  padding-left: 1em;
  padding-right: 1em;
}

tr {
  background: #DDD;
}

tr.new {
  background: #CDC;
}

tr.changed {
  background: #CCD;
}

tr.removed {
  background: #DCC;
}

ul {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

ul.submenu {
  padding-left: 1em;
}

ol.sublist {
  list-style-type: lower-latin
}

sup {
  font-size: x-small;
}

dl {
  padding-left: 2em;
}

dt {
  font-weight: normal;
  font-style: italic;
}

img.math {
  vertical-align: middle;
}