/* M4 preprocessor file to generate a CSS2 style sheet using constants */

/* !!!!! DO NOT EDIT THE .css FILE; edit the .css.in file instead !!!!! */

/* ---- IMPORTS  ---- (have to come first according to CSS standards */


/* ---- constants ---- */



/* ---- BODY ---- */ 

BODY 
{ font-size: 11pt; 
  line-height: 14pt;
  font-family: Palatino Linotype, palatino, times;
  padding: 0 0 0 0 ;
  margin: 0 0 0 0 ;
}

/* ---- boxes and columns: dimensions ---- */

/* The page is a table ("main"), with three columns ("col1", "col2", "col3").
 * The top of the table is a single row (spanning three columns) called "head"
 * These columns hold the background colours of the texts; to separate them
 * two sets of white borders are used, each 10px wide (one around the table, 
 * and another around each cell, so that in total all rules are 20px wide).
 *
 * col1 holds textcol1, etc.
 *
 */

table#main
{ border-spacing: 0px 0px ; 
  border-width: 10px ;
  border-style: solid ;
  border-color: white ;
}

td#head
{ height: 140px ;
  padding: 0px 0px 30px 0px ;
  border-width: 10px ;
  border-style: solid ;
  border-color: white ;
}

td#col1, td#col2, td#col3
{ vertical-align: top ;
  width: 50% ;
  padding: 8px 8px 8px 8px ;
  border-width: 10px ;
  border-style: solid ;
  border-color: white ;
}


div#toc
{ position: absolute ;
  height: 20px ;
  top: 104px ;
  left: 20px ;
  right: 20px ;
}

p#extro
{ position: relative; 
  top: 10px ;
  left: 20px ;
  right: 20px ;
}

img#bodyimg
{ position: absolute ;
  right: 20px ;
  top: 28px ;
}

/* --- boxes: formatting */

img.white
{
  background-color: white ;
}

td#head
{ background-color: white ;
  color: white;
}

td#col1, td#col2, td#col3
{ background-color: rgb(245,62,7); 
  color: white ;
}

div#toc
{ background-color: black ;
  color: white ;
  font-family: Swis721 Hv BT, helvetica, swis, swiss, arial;
  font-weight: bold;
  font-size: 11pt ;
  margin: 0px ;
  padding: 8px ;
}

A.toc
{
  color: white ;
  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#extro
{ font-size: 7pt; 
  line-height: 7pt ;
  font-family: Swis721 BlkCn BT, helvetica, swis, swiss, arial ;
  text-align: right ;
  background-color: black ;
  color: white ;
  padding: 2px 2px 2px 2px ;
}

/* --- headings --- */

H1, H2, H3 
{ font-family: Swis721 BlkCn BT, helvetica, swis, swiss, arial ;
/*  font-weight: bold; */
  color: rgb(0,0,0) ;
/*  padding: 0 0 0 0 ; */
}


H1  /* this is a page title only */
{ 
  font-size: 20pt ;
  line-height: 30pt ;
  text-align: left;
}

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

H3
{
  font-style: italic;
}

/* --- main page: splash screen --- */

body.splash
{
  width: 100% ;
  background-color: rgb(245,62,7) ;
}

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

table.splash
{
  width: 100%;
  height: 100% ;
}

td.splash
{
  width: 100% ; 
  text-align: center ;
}

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

A:link		{ color: rgb(150,150,150) } 
A:visited	{ color: rgb(200,200,200) }
A:active	{ color: rgb(255,200,200) }
A:hover		{ color: rgb(255,200,200) }



A.extro:link	{ color: rgb(150,150,150) } 
A.extro:visited	{ color: rgb(150,150,150) } 
A.extro:active	{ color: rgb(150,150,150) } 
A.extro:hover	{ color: rgb(150,150,150) }