/*
 * Changing the defaults  
 */


address                  {
  color: gray; 
  margin-left: -2em;
  text-align: right;
}     


:link   { color:  #18605a;}
:hover   { color: #663300;}
:visited   { color: #996666;}


body                     {
  color: black;
  background-color: white;
  font-family: Helvetica, Times New Roman, Georgia, Minion Web, Book Antiqua, Utopia, serif;
}

small                    { font-size:      .92em;  }       
big                      { font-size:      1.17em; }       

pre                      {
    color: maroon;
    margin-left: 1em;
    font-family: monospace;
    font-variant:   small-caps; 
    font-weight: bold 
}

tt, code, kbd, samp      { font-family: monospace }

.Failed { color: rgb(119, 136, 153); background-color: Beige; text-align: center; }
.Successful { color: rgb(0,100,0); background-color: PaleGreen; text-align: center; }
.Baseline { color:  rgb(0,0,205);  background-color: Cyan; text-align: center; } 
.Folder { font-size : smaller; font-style: italic; }
.Ignored { color: rgb(136, 125, 107); background-color: Bisque; text-align: center; }


del                       {       
        text-decoration:        line-through;
        background:     #900;
}       

ins     {       
        text-decoration:        none;
        background:     #060;
}       

acronym {       
        font-variant:   small-caps;
        letter-spacing: 0.1em;
}       

 
/*
 *   Effects
 */

.underline                { text-decoration:underline;    }
.overline                 { text-decoration:overline;     }
.obeylines-h,.obeylines-v { white-space: nowrap;          }
.try                      { border:solid 4px;             }
.name                     { font-size: 4em; text-align: center }
.oops                     { font-family: Jester, "Comic Sans MS" }
.colophon                 { display:        none;        }       
.hide                     {
  display: none;
  color: white;
}

/* letter and word spacing */
.letterspaced    {letter-spacing: 10pt;}
.wordspaced      {word-spacing: 20px;}
/* vertical alignment examples */
.sub             {vertical-align: sub;}
.super           {vertical-align: super;}
/* text alignment properties */ .right {text-align: right;}
.left            {text-align: left;}
.justify         {text-align: justify;}
.center          {text-align: center;}
/* indentation and line-height examples */
p.indent         {text-indent: 20px;
                   line-height: 200%;}
p.negindent      {text-indent: -10px;
                   background-color: yellow;}
p.noindent               { text-indent: 0em     }
p.indent                 { text-indent: 1.5em   }
#bigchar         {background-color: red;
                   color: white;
                   font-size: 28pt;
                   font-family: Impact;}
p.carson         {font-size: 12pt;
                   font-family: Courier;
                   letter-spacing: 4pt;
                   line-height: 5pt;}
/* text transformation properties */
.uppercase       {text-transform: uppercase;}
.lowercase       {text-transform: lowercase;}
.capitalize      {text-transform: capitalize;}
/* text-decoration properties */
.underline       {text-decoration: underline;}
.blink           {text-decoration: blink;}
.line-through    {text-decoration: line-through;}
.overline        {text-decoration: overline;}
/* white space control */
.normal          {white-space: normal;}
.pre             {white-space: pre;}
.nowrap          {white-space: nowrap;}
.obeylines-h,.obeylines-v { white-space: nowrap;          }
 


span.skip                 { display: none }
div.skip                  { display: none }

/*
 * Create a Box around the matter
 */

div.box                  {
  border: solid; 
  border-width: 0.1em; 
  padding: 0.5em;
}

/* 
 * Link types
 */

A:link                   { color:  #18605a; }       
A:visited                { color:  #996666; }       
A:active                 { color:  #663300; }       
A:hover                  { color:  #FC0;    }       

a.normref                { color : red;     }       
a.informref              { color : green;   }       
A.offsite                { color:  #F60;    }       

/*
 * Ordered Lists
 */

ol.withroman             { list-style-type: lower-roman }
ol.upperroman            { list-style-type: upper-roman }
ol.upperalpha            { list-style-type: upper-alpha }
ol.withalpha             { list-style-type: lower-alpha }

li.serif      		 { font-family: Georgia, serif, Helvetica }
li.sans-serif 		 { font-family: Times New Roman, Helvetica, sans-serif 	}
li.fantasy    		 { font-family: fantasy    	}
li.monospace  		 { font-family: monospace  	}
li.cursive    		 { font-family: cursive    	}    

ul.padded                { line-height: 120%                  }
li.overskrift            { margin-top: 2ex; font-weight: bold }

/*
 *   Alignment
 */

div.justify              { text-align: justify; }
h1.center                { text-align: center;  }
p.noindent               { text-indent: 0em     }
p.indent                 { text-indent: 1.5em   }

/*
 *   DocBook: Title
 */

div.titlepage            {
     margin: 1em 0;
     padding: 1em;
     border:   solid thin;
     border-color:   blue;
}

h1.title                 {
         text-align: center; 
         font-variant: small-caps;
   	 font-family: helvetica, Verdana, Myriad Web, Syntax, sans-serif; 
         font-weight: bold; 
         text-transform: capitalize
}

.titletext               {
  color: black;
  font-size: 18pt;
  font-weight: bold;
  margin-bottom: -10px;
}


SPAN.date { font-size: 0.8em; color: #999 }
SPAN.date:after { content: "\A0\A0" }

SPAN.attribution {  font-weight: bold; }

.motto, .motto A {font: italic 120%/1.3 Georgia, serif; color: #990}
P.map-also { font-style: italic; margin-left: 15%; text-align: right }

/*
 *   Logical divisions
 */

/*
 *   DocBook: Article
 */

/* div.article {  } */

/*
 *   DocBook: Appendix
 */

/* div.appendix {} */
/* h1.appendix {} */

/* div.article {  } */

/*
 *   DocBook: Authors
 */

/* div.authorgroup {} */
h3.author                {
	font-weight: bold;
    	margin: 2%;  	
	text-align: center; 
	font-style: italic;
}

/*
 *   Abstracts
 */

div.abstract             { font-style: italic;  }



/*
 *   DocBook: Book
 */

/* body.book {  } */
/* div.book {  } */


/*
 *   Copyright
 */

div.copyright, p.copyright {
    font-weight: bold;
    margin: 5%;  
}



span.holder              {
    font-family:            Times New Roman, Helvetica, Verdana, Myriad Web, Syntax, sans-serif;
    font-size-adjust:       .53;
}



.colophon                { display:        none; }  

/*
 *   Introduction
 */

div.intro                {
    font-style: italic;
    margin-left: 2em;
    margin-right: 2em
}

div.intro EM             {
    font-style: normal
}

div.intro H2             {
    background: #fbfbff;
    color: black;
    border: none;
}


/*
 *   Navigation
 */

div.navigation           {
    font-size: smaller;
    background: #E0E0E0 
}

p.navigation             {
    font-family: Times New Roman, helvetica, Verdana, Myriad Web, Syntax, sans-serif; 
    font-size: 80%; 
    background: #e0e0e0;
    margin-left: -3em;
    padding: 0.3em 0.3em 0.3em 3em
}

/*
 *   Table of Contents
 */

ul.toc                   { list-style-type: none; }
div.toc,div.subtoc               {
     padding: 1em;
     border: solid thin;
     margin: 1em 0;
     background: #ddd
}

/*
 *   Captions
 */

p.caption                { font-weight: bold;     }

/*
 *   To Be Decided
 */

p.tbd, div.tbd {
    font-style: italic;
    color: #800000;
    font-size: smaller
}
div.tbd                  { margin: 1em            }

/*
 *   DocBook: Section
 */

/* div.section {} */
h1.section               {
     font-family: sans-serif, helvetica, Times New Roman, Verdana, Myriad Web, Syntax, sans-serif; 
     font-variant: small-caps;
}

/*
 *   Selections
 */


th.selected              { 
	background: #E0E022; 
	color: Blue 
}



/*
 *   Notes
 */


div.note                 {
    color: green;
    margin-left: 1em;
}

p.note                   {
    color: green;
    margin-left: 1em;
}

P.pnote                  {
  border-top: red thin solid;
  border-bottom: red thin solid;
  padding: 10px;
}

/*
 *   Warnings
 */
div.warning               {
   margin-right: 8%;
   margin-left:8%;
   text-align:justify; 
   font-weight: bold; 
   border: solid red
}

.warning                  {       
        text-transform: none;
        font-style:     normal;
        font-weight:    bolder;
        background:     yellow;
        color:  black;
} 

.warning strong {
  color: #FF4500;
  background: #FFD700;
  text-decoration: none
}

.warning a:link, .warning a:visited, .warning a:active {
  color: #FF4500;
  background: transparent;
  text-decoration: underline
}

.warning strong a:link, .warning strong a:visited, .warning strong a:active {
  color: #FF4500;
  background: #FFD700
}


DIV.output                { margin-left:3%; }

.default                  { text-decoration: underline; font-style: normal }
.required                 { font-weight: bold }

.footer {
  margin-top: 2em;
  padding-top: 1em;
  border-top: solid thin black
}
   
/*
 *   Important things
 */
.important                 {       
        text-transform: none;
        font-style:     normal;
        font-weight:    bolder;
        background:     white;
        color:          red;
}       

/*
 * Error
 */

.error {
  color: #DC143C;
  background: transparent;
  text-decoration: none
}

.error strong {
  color: #DC143C;
  background: #FFD700;
  text-decoration: none
}

.error a:link, .error a:visited, .error a:active {
  color: #DC143C;
  background: transparent;
  text-decoration: underline
}

.error strong a:link, .error strong a:visited, .error strong a:active {
  color: #DC143C;
  background: #FFD700
}


p.tinytext                 {
  border-top: black thin solid;
  border-bottom: black thin solid;
  padding: 8px;
  font-size: 8pt;
}

/*
 *  Banners
 */
.banner                    {
  top: 0px;
  position: absolute;
  padding-right: 10px;
  float: right;
  width: 100%;
  height: 40px;
  background-color: #EEEEEE;
  text-align: right;
}

.banner img                { float: left; }

/*
 * Command bars
 */
.commandbar                {
  position: absolute;
  top: 40px;  
  background-color: Navy;
  height: 22px;
  border: thin solid Black;  
  width: 100%;  
}

.commandbar div             {
  position: absolute;
  color: white;

}

.commandbar div a           {
  text-decoration: none;
  font-size: 10pt;
  color: White;
  font-weight: bold;  
}

.commandbar div a:visited   {  color: white;  }
.commandbar div a:hover     {  color: #3399FF }
.cmdItem                    {  top: 1px;      }
.cmdItem A                  {
  border: thin solid White;  
  top: -1px;
  margin-top: -1px;
  cursor: default;
  font-size: 10pt;
  color: White;
  font-weight: bold;
  height: 18px;
}


/*
 *     Products
 */
span.productname         {
        font-weight:    bold;
}
span.productnumber       {
         font-style:     italic;
}      

/*
 *     Outlines
 */

.outlineunder            {
  position: absolute;
  left: 0px;
  background-color: #EEEEEE;
  width: 150px;
  border-right:black thin solid;
  height: 100%;
  top: 62px;

}

.outline                 {
  position: absolute;  
  top: 62px;
  width: 150px;
  padding-left: 15px;  
  font-weight: bold;
  font-family: Tahoma;
  font-size: 11pt;
  color: #003399;
  height: 100%;
  padding-top: 10px;

}

.outline div             {
  padding-top: 5px;
  padding-bottom: 3px;
  padding-right: 6px;
}

.outline div a           {
  text-decoration: none;  /*kill underlining of all menu links regardless of tie
r*/
  color: #003399;

}

.outline div A:visited   {  color: #003399; }
.outline div a:hover     {  color: #3399FF; }

/*
 *   Examples
 */

div.example              {
    width: 100%;
    color: black;
}

tt.example               {
    color: maroon;
    margin-left: 1em;
}

div.dtd-example {
    width: 100%;
    color: black;
}

div.illegal-example      {
    width: 100%;
    color: red;
    border: solid red;
}

div.illegal-example p    { color: black; }

div.deprecated-example   {
    width: 100%;
    color: red;
    border: solid rgb(255,165,0); /* orange */
}

div.deprecated-example p { color: black; }



/*
 *   DTD's
 */

pre.dtd-fragment         { margin-left: 0;        }

pre.dtd                  {
    color: black;
    margin-left: 0;
}

div.dtd-example          {
    width: 100%;
    color: black;
}

div.dtd-fragment         {
    width: 100%;
    border: none;
    background-color: #eee;
}


/*
 *    TeX based stuff
 */ 

.cmr-7                   {font-size:70%;                   	}
.cmmi-10                 {font-style: italic;              	}
.cmmi-7                  {font-size:70%;font-style: italic;	}
.cmbx-10                 {font-weight: bold;               	}
.cmtt-10                 {font-family: monospace;          	}
.cmti-10                 {font-style: italic;              	}
.small-caps              {font-variant: small-caps;        	}
.hline hr, .cline hr     { height : 1px;                   	}
.Canvas                  { position:relative;              	}    
img.mathdisplay          { margin-top: 1em; margin-bottom: 1em; }

.bugfixes                {
   background: yellow;
   padding:0.5em;
   margin-left:70%;
   text-align:center;
   font-style: italic;
   font-weight: bold; 
}

span.tex                  {letter-spacing: -0.125em; }
span.tex span.e           { position:relative;top:0.5ex;left:-0.0417em;}
a span.tex span.e         {text-decoration: none; }

/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.math                     { font-family: "Century Schoolbook", serif; }
.math i                   {
    font-family: "Century Schoolbook", serif;
    font-style: italic 
}
.boldmath                 {
    font-family: "Century Schoolbook", serif;
    font-weight: bold 
}

.headline
{
	text-align: center;
	width: 14.6em;
	padding: .5em 0;
	margin: 1em auto;
	border-bottom: 5px dotted #000; 
	border-top: 1.5em solid #000;  
	font-family: Georgia, Times, 'Times New Roman', serif;
	font-size: 1.2em;
	text-transform: uppercase;
	white-space: nowrap;
}


/* implement both fixed-size and relative sizes */
small.xtiny             { font-size : xx-small }
small.tiny              { font-size : x-small  }
small.scriptsize        { font-size : smaller  }
small.footnotesize      { font-size : small    }
small.small             {  }
big.large               {  }
big.xlarge              { font-size : large    }
big.xxlarge             { font-size : x-large  }
big.huge                { font-size : larger   }
big.xhuge               { font-size : xx-large }

.subhead        {       
        margin-top:     .75em;
        margin-bottom:  .75em;
        padding-top:    0;
        padding-bottom: 0;
        border-top:     0;
        border-bottom:  0;
}       
                
.stb    {       
        margin-top:     2.17em;
        margin-bottom:  .75em;
        padding-top:    2.17em;
        padding-bottom: 0;
        border-top:     0;
        border-bottom:  0;
        border-style:   solid
}       

P.stb { text-indent: 0; margin-top: 0.6em } /* Small thematic break */
                
.mtb    {       
        margin-top:     3.08em;
        margin-bottom:  .75em;
        padding-top:    3.08em;
        padding-bottom: 0;
        border-top:     .1em;
        border-bottom:  0;
        border-style:   solid
}       
                
.ltb    {       
        margin-top:     4.34em;
        margin-bottom:  .75em;
        padding-top:    4.34em;
        padding-bottom: 0;
        border-top:     .25em;
        border-bottom:  0;
        border-style:   solid
}       
        
/* hint and alt-hint are for paragraphs that are like "sticky notes" */

.hint, .alt-hint {
  width: 14em;
  padding: 1em;
  color: #000;
  background: #CFC;
  border-right: solid thick #CCC;
  border-bottom: solid thick #CCC;
  font-style: italic;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
.hint {
  float: right;
  text-align: right;
  margin-left: 1em;
  margin-right: 0;
}
.alt-hint {
  float: left;
  /* margin-left: -6%; This doesn't work in IE 5 :-( */
  text-align: left;
  margin-left: 0;
  margin-right: 1em;
}
.hint ul, .hint ol {
  /*text-align: left;*/
  margin-left: 0;
  padding-left: 0;
  list-style-position: inside;
}
.hint li {
  margin-left: 0;
}
.hint em, .alt-hint em {
  font-style: normal;
}
.hint em em, .alt-hint em em {
  font-style: italic;
}

/* Use nohint for what should be displayed if the UA doesn't support hints */
.nohint {
  display: none;
}

.logo {  float: left; }

DIV.endmatter { margin-right: -6em; border-top: thin solid }
DIV.endmatter HR { display: none }


P.hint + P, P.alt-hint + P { text-indent: 0; margin-top: 1em }

P.remark {font-size: smaller}

/*
  Author: Bert Bos <bert@w3.org> (Adapted from work by Håkon Wium Lie)
  Created: 17 August 1999
  Version: $Revision: 1.11 $

  The following section creates a set of partially overlapping
  headlines in different colors and font families. Negative
  margin values must be set on block-level elements to have an
  effect - in this document P elements are used and the selectors
  are named '#p*'.

  The source will look like this:

    <DIV CLASS="map">
      <P ID="p1"><A HREF="...">...</A></P>
      <P ID="p2"><A HREF="...">...</A></P>
      <P ID="p3"><A HREF="...">...</A></P>
      ...
    </DIV>

  This works by setting an offset from the bottom of the link area.
  The height of the line plus the bottom margin are equal to the top margin,
  so the line doesn't contribute to the height of its parent in any way.
*/

DIV.map {			/* Reserve some room for the links */
  padding-top: 189px;
  padding-bottom: 1px;
  margin-left: -4%;
  margin-right: -6em;
  /* width: 100%; */
  margin-bottom: 4em;
  margin-top: 5em;
  clear: both;
  text-shadow: 0.2em 0.2em /* 0.2em */ silver;
}

#p1, #p2, #p3, #p4, #p5, #p6, #p7, #p8, #p9, #p10 {white-space: nowrap}
#p1, #p2, #p3, #p4, #p5, #p6, #p7, #p8, #p9, #p10 {text-indent: 0}
#p1 A, #p2 A, #p3 A, #p4 A, #p5 A, #p6 A, #p7 A, #p8 A, #p9 A, #p10 A {text-decoration: none}

#p1, #p1 A {color: #DDD; font: 100px/1 "Impact", "Helvetica Narrow", sans-serif}
#p2, #p2 A {color: #000; font: italic 40px/1 "Georgia", serif}
#p3, #p3 A {color: #080; font: 40px/1 "Verdana", sans-serif}
#p4, #p4 A {color: #37F; font: bold 40px/1 "Courier New", "Courier", monospace}
#p5, #p5 A {color: #F73; font: bold 100px/1 "Verdana", sans-serif}
#p6, #p6 A {color: #22A; font: bold 25px/1 "Verdana", sans-serif}
#p7, #p7 A {color: #088; font: italic 80px/1 "Verdana", sans-serif}
#p8, #p8 A {color: #088; font: italic 20px/1 "Verdana", sans-serif}
#p9, #p9 A {color: #088; font: italic 20px/1 "Verdana", sans-serif}
#p10, #p10 A {color: #F73; font: bold 60px/1 "Verdana", sans-serif}

#p1 {text-align: right;  margin: -185px 0 85px 0}	/* top right */
#p2 {text-align: left;   margin: -190px 0 150px 5%}	/* top left */
#p3 {text-align: right;  margin: -87px 35% 47px 0}	/* center */
#p4 {text-align: right;  margin: -98px 0 58px 0}	/* center right */
#p5 {text-align: left;   margin: -130px 0 30px 0}	/* center left */
#p6 {text-align: left;   margin: -40px 0 15px 35%}	/* bottom center */
#p7 {text-align: right;  margin: -80px 0 0px 0}		/* bottom right */
#p8 {text-align: left;   margin: -40px 0 20px 3%}	/* bottom left */
#p9 {text-align: right;  margin: -25px 0 5px 0}		/* bottom right */
#p10 {text-align: left;   margin: -130px 0 70px 0}	/* center left */