BODY {
  margin: 0px 0px 0px 0px;
  background-position: top left;
}

DT, DD {margin-top: 0; margin-bottom: 0}
DT {font-weight: bold}

A:link {
  color: #004080;
  background: transparent;
}
A:visited {
  color: #7000a0;
  background: transparent;
}
A:active {
  color: #d00000;
  background: transparent;
}

A.menu:link {
  color: #004080;
  text-decoration: none;
}
A.menu:visited {
  color: #004080;
  text-decoration: none;
}
A.menu:active {
  color: #f06020;
  text-decoration: none;
}

A.header:link {
  color: #004080;
  text-decoration: none;
}
A.header:visited {
  color: #7000a0;
  text-decoration: none;
}
A.header:active {
  color: #d00000;
  text-decoration: none;
}

TH.header {
  color: #f0a000;
  background-image:
    url(http://www-rocq.inria.fr/~acohen/images/header.png);
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}

TH.menutop {
  color: #808080;
}

TH.menuitem {
  background-image: none;
}

TH.error {
  color: #f03000;
  background-image:
    url(http://www-rocq.inria.fr/~acohen/backgrounds/sky.jpg);
  background-position: top left;
  background-attachment: fixed;
}

TH.footer {
  color: #c0b8a8;
}

ADDRESS.footer {font: italic 8pt helvetica}

P.header {
  margin: 0px 0px 0px 16px;
  padding: 0px 0px 0px 0px;
  font: bold 24pt helvetica;
}

H1 {
  color: #f8e8a8;
  background: #004080;
  margin: 8px 0px 0px 16px;
  padding: 0px 0px 0px px;
  text-align: left;
  vertical-align: middle;
  font: bold 24pt helvetica;
}
H2, H3, H4, H5, H6 {
  margin: 0px 0px 0px 0px;
  padding: 0px 0px 0px 0px;
  text-align: left;
  background: transparent;
}
H2 {
  color: #c00020;
  font: bold 16pt helvetica;
}
H3 {
  color: #000000;
  font: bold 16pt helvetica;
}
H4 {
  color: #c00020;
  font: bold 100% sans-serif;
}
H5 {
  color: #c00020;
  font: italic 100% sans-serif;
}
H6 {
  color: #c00020;
  font: italic 80% sans-serif;
}

.hide {display: none}

@media aural {
  H1, H2, H3 {stress: 20; richness: 90}
  .hide {speak: none}
  DT {pause-before: 20%}
  PRE {speak-punctuation: code}
}