BODY { 
font-family: Verdana, Arial, sans-serif;
font-size: 18px;
margin: 20px;
}

/* 
Styles are set for the main body of the document,
the front/cover page, and the footer (which is common).

In each case, there are styles for the main content
frame, the key frame and the title/navigation bar.

*/


/* Body: Main content pages  */

DIV.mainbody {
font-family: Verdana,Arial,sans-serif;

}

H2 {
font-family: Verdana,Arial,sans-serif;
font-size: 24px;
}

DIV.subtitle {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;
color: #33CC00;
margin-top: 0in;
}


H3 {
font-family: Verdana,Arial,sans-serif;
font-size: 20px;
color: black;
}

H4 {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;
color: #33CC00;
}

TD {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;	
}

TH {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;	
}

DIV.org { 
font-weight: bold;
margin-left: 1in;
margin-bottom: 0ex;
}

.mainbody P { 
font-family: Verdana,Arial,sans-serif;
font-size: 18px;	
}

P.ADDR { 
margin-left: 1in;
margin-top: 0in;
}

P.NB {
color: #33CC00;
font-weight: italic;
}

DIV.see {
font-size: 18px;
margin-top: 0em;
margin-bottom: 0em;
font-weight: bold;
}

SPAN.see {
font-size: 18px;
font-weight: bold;
}

DIV.seealso {
font-size: 18px;
margin-top: 0em;
margin-bottom: 0em;
font-weight: bold;
}

SPAN.seealso {
font-size: 18px;
font-weight: bold;
}


A.see {
font-size: 18px;
color: #008095;
}

DIV.see A.see {
font-size: 18px;
color: #008095;
}

A.ref {
color: #008095;
}

DIV.display {
margin-left: 12ex;
}

DIV.ref A {
font-size: 18px;
color: #008095;
}


TD.indexterm {
font-family: Verdana,Arial,sans-serif;
font-size: 30px;
font-weight: bold;
}

TD.see {
font-family: Verdana,Arial,sans-serif;
font-size: 30px;
margin-top: 0ex;
}

TD.indexterm A.see {
font-family: Verdana,Arial,sans-serif;
font-size: 30px;
color: #008095;
}

TD.see A.see {
font-family: Verdana,Arial,sans-serif;
font-size: 30px;
color: #008095;
}

A {
font-family: Verdana,Arial,sans-serif;
}

A.url {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;
font-weight: bold;
color: #008095
}

DIV.organisation {
margin-bottom: 2ex;
margin-left: 0ex;
}

TABLE.organisation TR TH {
font-size: 18px;
font-family: Verdana,Arial,sans-serif;
padding: 0pt;
width: 5em;
};

TABLE.organisation TR TD {
font-size: 18px;
font-family: Verdana,Arial,sans-serif;
padding: 0pt;
};

.orgFullName {
font-size: 18px;
font-family: Verdana,Arial,sans-serif;
font-weight: bold;
};

.orgabbrev {
font-size: 18px;
font-family: Verdana,Arial,sans-serif;
font-weight: bold;
};

.indexsection {
padding: 0px;
margin-top: 1ex;
margin-left: 3ex;
fontsize: 16px;
}

.indexpart {
font-size: 20px;
margin-top: 1ex;
font-weight: bold;
color: #33CC00;
}

DIV.scrapname { 
font-weight: italic;
margin-right: 0px;
color: #cccccc;
}


/* Body: Key frame  */

DIV.keyframe {
margin-left: 0.2in;
color: blue;
}


H3.alsohead {
font-family: Verdana, Arial, sans-serif;
font-size: 28px;
color: #33CC00;
text-transform: uppercase;
margin-top: 0.25in;
margin-bottom: 0em;
}

DIV.seealso {
font-size: 18px;
margin-top: 0em;
margin-bottom: 0em;
}

A.seealso {
font-family: Verdana, Arial, sans-serif;
font-size: 18px;
color: #008095;}

A {
font-family: Verdana, Arial, sans-serif;
font-size: 18px;
color: #008095;
}

P.key {
font-size: 18px;
}

TD.keyhead {
font-family: Verdana, Arial, sans-serif;
font-size: 18px;
color: #33CC00;
}

TD.key {
font-family: Verdana, Arial, sans-serif;
font-size: 9px;
}

/* Body: Title bar */

DIV.titlebar {
margin-top: 3px;
margin-right: 3px;
margin-left: 3px;
white-space: nowrap;
color:FF8000;
}

A.navlink {
font-size: 18px;
text-transform: uppercase;
white-space: nowrap;
font-weight: bold;
color: #008095
}

.titlestrap {
font-family: Verdana,Arial,sans-serif;
margin-left: 0in;
font-size: 18px;
font-weight: bold;
white-space: nowrap;
}


.formbutton {
color: E08000;
background-color: E0E0E0;
font-weight: bold;
}

/***********************************************************************
   Now, stuff relating to the cover page
************************************************************************/

/* Cover : Main page */

.coverpage {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;
margin-right: 0.2in;
}

.coverpage H1 {
font-family: Verdana,Arial,sans-serif;
margin-top: 5px;
margin-bottom: 15px;
font-size: 48px;
}

.coverpage H2 {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;
font-weight: normal;
}

.coverpage H4 {
font-family: Verdana,Arial,sans-serif;
font-size: 18px;
margin-bottom: 0.2ex;
}

.coverpage P {
margin-top: 1ex;
margin-bottom: 1ex;
}



/* Cover: Key frame (Sponsors) */


DIV.coversponsors {
text-align: center;
}

DIV.coversponsors IMG.sponsorlogo {
margin-top: 0px;
margin-bottom: 15px;
}

DIV.coversponsors A {
font-family: Verdana,Arial,sans-serif;
}


/* Cover: Title strap */

.coverstraptitle {
font-family: Verdana,Arial,sans-serif;
margin-top: 0in;
margin-left: 0in;
font-size: 18pt;
white-space: nowrap;
}


/* Now, the footer...*/

DIV.footer {
margin: 3px;
margin-top: 5px
}

DIV.footer TD {
}

.topbanner TD.maintitlestrap H2 {
font-family: Verdana,Arial,sans-serif;
margin-top: 0px;
margin-left: 0px;
margin-bottom: 0px;
text-transform: none;
font-size: 32px;
white-space: nowrap;
}

.topbanner TD {

}

/* 
   Table of contents stuff, especially for vanilla

   Note that we have no control over the structure of the table of contens, 
   so we have to hide the unwanted "<h2>"

 */

div.tocbody h2 {
  display: none;
}

div.tocbody blockquote h2 {
  display: inline;
  color: black;
  background-color: white;
}




/* Finally, some that seem to be obsolete/unused... */