/* IFIP WG 11.2 Cascading Style Sheet
 *
 * Jaap-henk Hoepman (jhH@cs.ru.nl)
 *
 */

body 
{ font-size: 10pt; 
  line-height: 14pt;
  font-family: verdana,arial;
  counter-reset: section ;
}


div.purpose
{ font-style: italic ;
  font-size: 8pt ;
  line-height: 10pt ;

}

h1, h2, h3, h4
{ font-family: trebuchet MS,verdana,arial;
  font-weight: bold;
  color: rgb(0,0,128) 
}


h1
{ line-height: 120%;
}

h2:before
{ content: counter(section) ". " ;
  counter-increment: section ;
}


h3
{
  font-style: italic;
}

h4
{
  font-style: italic;
}


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

a:link		{ color: rgb(66,84,110) ; } 
/* a:link          { color: rgb(205,107,47) ; } */
a:visited       { color: rgb(112,128,152) ; }
/* a:visited	{ color: #999966;  } */
a:active	{ color: #CCCC99;  } 
a:hover		{ color: #CCCC99;  }