@charset "utf-8";
docinfo {
  display: block;
  padding: 0.5em;
  background: Window;
  font-family: Tahoma, Sans-serif;
}

heading {
  display: block;
  font: bold 12pt;
  border-bottom : 1px solid ThreeDShadow;
  margin-top: 0.5em;
}

props {
  margin-top: 1em;
  display: table;
  font-size: 8pt;
}

tr {
  display: block;
  clear: both
  margin-bottom: 0.5em;
}

pn {
  display: block;
  font-weight: bold;
  margin-right: 1em;
}

pv {
  display: block;
  font-family: "Courier New", monospace;
  font-size: 9pt;
  margin-bottom: 0.5em;
}

finfo {
  display: block;
}

url {
  content: attr(href);
  -o-link: attr(href);
  -o-link-source: current;
}