/* hint and alt-hint are for paragraphs that are like "sticky notes" */

.hint, .alt-hint {
  min-width: 14em;
  width: 25%;
  padding: 1em;
  color: #000;
  background: #CFC url(greendogsear.png) bottom right no-repeat;
  font-style: italic;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
.hint {
  float: right;
  clear: right;
  text-align: right;
  margin-left: 1em;
  margin-right: 0;
}
.alt-hint {
  float: left;
  clear: left;
  /* margin-left: -6%; This doesn't work in IE 5 :-( */
  text-align: left;
  margin-left: 0;
  margin-right: 1em;
}
.hint ul, .hint ol {
  /*text-align: left;*/
  margin-left: 0;
  padding-left: 0;
  list-style-position: inside;
}
.hint li {
  margin-left: 0;
}
.hint em, .alt-hint em {
  font-style: normal;
}
.hint em em, .alt-hint em em {
  font-style: italic;
}

/* Use nohint for what should be displayed if the UA doesn't support hints */
.nohint {
  display: none;
}


body {
  background: white;
  color: #333;
  line-height: 1.3;
  text-align: justify;
  font-family: "Gill Sans MT", "Gill Sans", GillSans, Arial, Helvetica, sans-serif }
h1 {
  line-height: 1;
  text-align: left;
  font-variant: small-caps;
  border-bottom: thin solid;
  padding: 0 0 0.2em 0;
  font-weight: normal }
h1:first-line { 
  border-bottom: none;		/* bug in Konqueror 3.1 */
  font-style: italic }
a:link img, a:visited img {
  border-style: none }
h1, h3 {
  color: #000 }
h3 {
  font-weight: bold;
  font-size: 1em;
  margin: 1.5em 1em 1em 0;
  display: run-in }
h3.subtitle {
  font-weight: normal;
  font-style: italic;
  margin: 1em 0;
  display: block;
  text-align: left }
h2 {
  text-align: left;
  line-height: 1;
  color: #aa7;
  border-bottom: thin solid;
  padding: 0 0 0.2em 0;
  font-weight: bold;
  text-transform: uppercase;
  clear: both;
  margin-top: 3em }
div.section {
  clear: both }
pre {
  text-align: left }		/* Safari 1.0b doesn't do this by default */
li {
  padding-left: 0;
  margin: 1.2em 0 }
ul, ol {
  padding-left: 0;
  margin-left: 1.5em }
address { 
  text-align: right;
  font-style: italic }
p + p {				/* Indent rather than top margin */
  text-indent: 1.5em;
  margin-top: 0 }
p {
  margin-top: 1em;
  margin-bottom: 0 }
dd {
  padding-left: 1.5em;
  margin-left: 0 }
a:link {
  color: #037 }
a:visited {
  color: #551a8b }
a:active {
  color: #900 }
a:hover {
  background: #999;
  color: #FFF;
  outline: solid red }
a:hover * {			/* Work-around for Konqueror 3.1 */
  background: inherit }
div.back {
  clear: both }

/* Some specific classes */

span.date {
  font-size: 110%;
  font-weight: bold;
  line-height: 0.9 }
span.date:after {
  content: "\A0\A0" }
p.stb {				/* Small thematic break */
  text-indent: 0;
  margin-top: 0.6em }
p.hint + p, p.alt-hint + p, p.skip + p {
  text-indent: 0;
  margin-top: 1em }
p.remark {
  font-size: smaller}
@media screen, projection, print, handheld { 
  .hide {
    display: none;
    color: white } }
div.endmatter {
  clear: both;
  margin-top: 1em;
  border-top: thin solid;
  padding-top: 1em }
ul.toc {
  list-style: none }
address img {
  float: right;			/* Portrait of the author */
  margin-left: 0.5em;
  width: 4em }
dl.compact {			/* A DL as a single para, with ¶ */
  padding: 0;
  margin-left: 0;
  margin-right: 0 }
dl.compact dt {
  display: run-in;
  font-weight: bold;
  margin: 0;
  padding: 0 }
dl.compact dd {
  margin: 0;
  padding: 0 }
.skip {				/* Navigation for handhelds */
  display: none }

/* Give the body some margins to make room for the two menus */

html {
  margin: 0 }
body {
  position: relative;		/* Make containing block for the menus */
  /* padding: 9em 17em 5em 2em;	/* Room for banner at the top */
  padding: 2em 2em 2em 2em;
  margin: 0 }			/* 17em is too much, but IE6 needs it */
html>body {
  padding-right: 14em }		/* 14em overrides the 17em above */

/* Local navigation menu, along the right side */

div#Menu span.dot,		/* Hide the dot between links in this style */
div#Menu hr {			/* Hide the HR inside the menu */
  display: none }

div#Menu,
div.map { 
  position: absolute;
  width: 11em; height: auto;
  top: 1em; right: 1em; bottom: 1em; left: auto;
  background: #DDB url(dogsear.png) bottom right no-repeat }
div#Menu p.navhead, div#Menu a,
div.map p, div.map li, div.map h2 {
  display: block;
  font-size: medium;
  margin: 0.55em 1.63em 0.44em -0.9em;
  padding: 0.38em 1em;
  text-indent: 0;
  text-align: left;
  background: #aa7 url(sandydogsear.png) bottom right no-repeat;
  color: white;
  border-bottom: none;		/* Remove rule under H2 */
  list-style: none }		/* Remove triangle from H2 */
div.map li li {			/* Nested LIs don't get the dogear */
  margin: 0;
  padding: 0;
  background: #aa7;
  color: white}
div.map > ul {
  margin: 0;
  padding: 0 }
div#Menu p.navhead {
  font-weight: bold }
div#Menu a:link, div#Menu a:visited,
div.map a:link, div.map a:visited {
  font-style: italic;
  text-decoration: none;
  color: white }
div.map a:hover {
  background: #CCC;
  color: #000 }
div#Menu:before,
div.map:before {
  content: "Local links";
  display: block;
  margin-bottom: 1em;
  padding: 0.1em 0.5em;
  color: #999;
  font-size: larger;
  font-style: italic;
  text-align: left;
  letter-spacing: 0.25em }

/* Site navigation menu, along the top */

div#Logo div, div#Logo map {	/* QA pages have extra elements inside the */
  position: static;		/* DIV. Make sure they don't do anything. */
  display: inline;
  margin: 0;
  padding: 0;
  background: transparent }
div.header {			/* The banner replaces the header */
  display: none }

div#Logo,
div.banner {
  position: absolute;
  font-weight: normal;
  width: auto;
  height: 7.3em;
  overflow: visible;
  top: 1em; right: 14em; bottom: auto; left: 2em;
  line-height: 1.2;
  text-align: right;
  /*background: white;*/
  color: black }
div.banner ul, div.banner li {	/* Lists become inline */
  margin: 0;
  padding: 0;
  display: inline }
div#Logo p,
div.banner p {
  font-size: 0.9em;
  margin: 0 0 0 0 }
div.banner a:after {
  content: " \2022";
  color: #900 }
div.banner a:before {
  content: "\2022  ";
  color: #900 }
div.banner a:first-child:before,
div.banner a + a:before,
div.banner a[rel=home]:after { 
  content: "" }
div.banner a.home:after {
  content: "" }
div#Logo a[rel=home],
div.banner a[rel=home] {
  float: left; margin-right: 1em }
div#Logo a.home,
div.banner a.home {
  float: left; margin-right: 1em;
  text-align: left /* This seems to help Opera 6... */ }
div#Logo img,
div.banner img {
  max-height: 7em }


@page { 
  margin: 1.5cm
}

@media print {
  /*
   * Don't print the menus. Make the title large enough
   * to take half a page. Print a W3C logo in the
   * upper left corner.
   *
   *  Once columns are in CR or Rec, add
   * 'column-width: 17em; column-gap: 2em' to BODY and
   * 'column-span: all' to H1, because most paper is much
   * wider than the optimal line length.
   */
  div.banner, div#Logo, div.map, div#Menu {display: none}
  body, html>body {margin: 0; padding: 0}
  body:before {display: block; }
  h2 {color: black}
  h1 {border: none; color: #aa7; padding: 2em 0.5em 1em 0;
    margin: 0.5em 0; text-transform: uppercase;
    font-size: 600%; line-height: 1; font-weight: normal}
  h1:first-line {font-style: inherit}
}

body>div#Menu,
body>div.map { position: fixed }

  @media screen, print, projection, handheld {
    .hide {display: none !important}
  }
  object {border: thin dotted; width: 35em; height: 30em}
  div.figure p {
      text-align: center;
      font-style: italic;
      font-size: smaller;
      text-indent: 0 }
  div.figure img, div.figure object {max-width: 90%}
  pre {margin: 1em 0; background: #DDD; padding: 0.5em 1.5em}
  pre strong {color: red}
  img.illustration {float: right; margin: 0.5em 0 0.5em 0.5em}
  img.sign {float: left; max-width: 4.5em; margin: 0 0.5em 0.5em -5em}
  div.advanced {margin: 1em 0 1em 5em; font-size: smaller}
  abbr {speak: spell-out}
  div.advanced {cue: url(ting.mp3) url(tingting.mp3)}