BODY 
{ font-size: 10pt; 
  line-height: 14pt;
  font-family: Lucida Sans Unicode, verdana, arial;
  margin: 10px 15px 15px 15px ;
  padding: 0 0 0 0 ;
}

/* --- Paragraph formatting --- */

/* TODO: first par: this is an anonymous box.... */

P  /* does not apply to first par after heading */
{
  margin: 14 0 0 0 ;
  padding: 0 0 0 0 ;
}

P.extro
{ width: 100% ;
  font-size: 8pt; 
  line-height: 10pt;
}

P.news
{
  background-color: rgb(151,186,101) ;
  line-height: 12pt;
  padding-top: 1em;
  padding-bottom: 1em;
  padding-left: 3em ;
  padding-right: 1em ;
}

/* --- Table of contents --- */

IMG.toc
{ position: absolute  ;
  left: 15px ;
  width: 100% ;
  height: 31px ;
  top: 74px ;
  z-index: -1 ; /* make sure the image becomes background to the links;
                 doesn't work with netscape */
}

A.toc
{
  color: white ;
  font-weight: bold ;
  font-style: normal ;
  text-decoration: none ;
}

/* Below, general links get a different colour scheme */
A.toc:link	{ color: white ; }
A.toc:visited	{ color: white ; }
A.toc:active	{ color: white ; }
A.toc:hover	{ color: white ; }


P.toc
{ 
  color: rgb(255,255,255) ;
  font-family: trebuchet MS,verdana,arial;
  font-weight: bold;
  font-size: 11pt; 
  margin: 24px 0 30px 0 ;
  text-align: center;
  background-color: rgb(61,117,108); /* netscape doesnt show background image */
}

/* --- Headings --- */

H1, H2, H3 
{ font-family: trebuchet MS,verdana,arial;
  font-weight: bold;
  color: rgb(61,117,108);
  padding: 0 0 0 0 ;
}


H1
{
  font-size: 20pt ;
  line-height: 120% ;
  margin: 25px 0 0 0 ; 
  text-align: center;
}

H2
{
  font-size: 15pt ; 
  margin: 18 0 13 0 ; 
}

H3
{
  font-style: italic;
}

UL 
{ 
  list-style-image: url(images/bullet.jpg) ;
  line-height: 12pt; 
  margin: 10 0 10 40 ;
  padding: 0 0 0 0 ;
}

LI
{ 
  margin: 0 0 4 0 ;
  padding: 0 0 0 0 ;
}

DL 
{ 
  line-height: 12pt;
}

DT
{
  font-family: trebuchet MS,verdana,arial;
  font-weight: bold;
  color: rgb(112,128,152) ;
  font-style: normal;
  text-decoration:none;
  margin-top: 1em;
}

/* --- Hyperlinks --- */

A
{
  font-weight: bold;
  font-style: normal;
  text-decoration:none
}

A:link		{ color: rgb(61,117,108) } 
A:visited	{ color: rgb(151,186,101) }
A:active	{ color: #CCCC99;  } 
A:hover		{ color: #CCCC99;  }

/* --- buttonbar --- */

BODY.buttonbar
{
  margin: 0px ;
  padding: 0px ; 
}

/* old buttonbar formatting ; to be removed */

IMG#paw
{ 
  display: block ;
  margin-left: auto ;
  margin-right: 0px ;
  margin-top: 20px;
  margin-bottom: 35px ;
}

IMG.topic
{ 
  vertical-align: middle ;
  margin-left: 8px ;
}

A.topic
{ 
  font-size: 13pt; 
  line-height: 20pt;
  font-family: trebuchet MS,verdana,arial;
  font-weight: bold;
  color: rgb(151,186,101) ;
}


P.topic
{ 
  text-align: right;
}

/* --- splash screen --- */

center.splash
{ 
  display: block ;
  margin-top: 50px ;
}