/*
 * A scrolling body, a site navigation menu (div.banner) along
 * the top and a local navigation menu (div.map) along the
 * right side.
 */

/*@import "hints2.css";*/

/* Colors, fonts and other basic stuff */

body {
  font-family: "Gill Sans MT", "Gill Sans", GillSans, Arial, Helvetica, sans-serif }
h1 {
  line-height: 1;
  text-align: center;
  font-variant: small-caps;
  border-bottom: thin solid;
  padding: 0 0.5em 0.2em 0.5em;
  font-weight: normal }
a:link img, a:visited img {
  border-style: none }
h1, h2 {
  color: #000 }
h2 {
  text-align: center;
  line-height: 1;
  color: #aa7;
  border-bottom: thin solid;
  padding: 0 0.5em 0.2em 0.5em;
  font-weight: bold;
  font-variant: small-caps;
  clear: both;
  margin-top: 2em }
div.section {
  clear: both }
pre {
  padding-left: 1em;
  padding-right: 1em;
  overflow: auto;
  text-align: left }		/* Safari 1.0b doesn't do this by default */
li {
  padding-left: 0;
/*  margin: 0.3em 0 */ }
ul, ol {
  padding-left: 0;
  margin-left: 1.5em }
address { 
  text-align: right;
  font-style: italic }
p + p {				/* Smaller margin between paragraphs */
  margin-top: 0.5em }
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 {
  color: #800; }
a:hover * {			/* Work-around for Konqueror 3.1 */
  background: inherit }
div.back {
  clear: both }

/* 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: 4em 1em 1em 1em;	/* Room for banner at the top */
  margin: 0 }			/* 17em is too much, but IE6 needs it */

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

div.map { 
  position: absolute;
  width: 11em; height: auto;
  top: 1em; right: 1em; bottom: 1em; left: auto;
  background: #DDB bottom right no-repeat }

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 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.map a:link, div.map a:visited {
  font-style: italic;
  text-decoration: none;
  color: white }
  
div.ack a:link, div.ack a:visited {
  font-style: italic;
  text-decoration: none;
  color: #996 }
  
div.map a:hover {
  background: #CCC;
  color: #000 }

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 }

div.ack {
  display: block;
  font-size: medium;
  padding: 0.38em 1em;
  text-indent: 0;
  text-align: justify;
  color: #553;
  border-bottom: none }		/* Remove rule under H2 */

/* Site navigation menu, along the top */

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: left;
  /*background: white;*/
  color: black }
div.banner ul, div.banner li {	/* Lists become inline */
  margin: 0;
  padding: 0;
  display: inline }
div.banner p {
  font-size: 0.9em;
  margin: 0 0 0 0 }
div.banner a:after {
  content: " ";
  color: black }
div.banner a:before {
  content: " ";
  color: black }
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.banner a[rel=home] {
  float: left; margin-right: 1em }
div.banner a.home {
  float: left; margin-right: 1em;
  text-align: left /* This seems to help Opera 6... */ }
div.banner img {
  max-height: 7em }

.resolved {
    background-color: #cfc
}

.implemented {
    background-color: #7c7
}

.closed {
    background-color: #888
}

.responded {
    background-color: #aaa
}

.postponed {
    background-color: #ccf
}



@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.map {display: none}
  body, html>body {margin: 0; padding: 0; font-size: 10pt}
  body:before {display: block; content: url(../Icons/w3c_main.png)}
  h2 {color: black}
  h1 {border: none; color: #aa7; padding: 2em 0.5em 1em 0;
    margin: 0.5em 0; text-transform: uppercase;
    font-size: 200%; line-height: 1; font-weight: normal}
  h1:first-line {font-style: inherit}
}

.good { background-color: #00ff00 }
.insf { background-color: #ffff00 }
.bad  { background-color: #ff0000 }

/*
Local variables:
mode: css
cssm-indent-level: 2
End:
*/