@html2ps {
   paper {
     type: letter;
   }
   option {
     DSC: 1;			/* DSC compliant PostScript */
     xref: 1;			/* cross references a la [p 31] */
     duplex: 1;			/* double sided */
/*     number: 1;	*/	/* have page numbers */
     original: 1;		/* use original PostScript images */ 
     hyphenate: 1;		/* hyphenation on */
     language: "en";		/* hyphenate for English */
     colour: 1;                 /* maintain color */
   }
   xref {
     text: "[p.&nbsp;$N]";	/* avoid line breaks before page no. */
     passes: 2;
   } 
   header {
        alternate: 1;
        center: $T;
   }
   footer {
        alternate: 1;
	left: "$D";
        right: "$N";
        center: " ";
   }
   margin {
        left: 3.5cm;
        right: 3.5cm;
   }
   hyphenation {
	en {
	    file: hyphen.tex
	}
   }
   package {
     netpbm: 1;
     libwww-perl: 1;
   }
   doc-sep: "<!--OddPage-->";   /* have every first page on the right */
}

BODY {
  margin: 2em 1em 2em 70px;
  font-family: Helvetica, sans-serif;
  color: black;
  background-color: white;
  background-position: top left;
  background-repeat: no-repeat;
}

H1, H2, H3 {
  text-align: left;
  font-family: Helvetica, sans-serif;
  font-weight: normal;
  color: #0050B2; 
}

.hide { display: none }

DIV.head { margin-bottom: 1em }
DIV.head H1 { margin-top: 2em }
DIV.head TABLE { margin-left: 2em; margin-top: 2em }
DIV.head IMG { color: white; border: none } /* remove border from top image */

P.copyright { font-size: smaller }

P {
    margin-top: 0;
    margin-bottom: .5em;
    text-indent: 1em;
}

PRE {
    font-family: monospace;
    margin-left: 1em;
}

.guideline { font-size: 120%;
	     border-width: 1px;  
             border: 1px solid; 
             color: black;
             background-color: #FFFFCC; 
             padding-top: 5px; 
             padding-bottom: 5px; 
             padding-right: 5px; 
             padding-left: 5px; 
             margin-top: 10px;
	     width: 80%
}

H4 { font-weight: normal; font-style: italic }

DL.checkpoint { margin-left: 2em }
DT.checkpoint { font-weight: normal; margin-top: 1em }
SPAN.checkpoint { font-weight: bold }
.checkpoint-nb { color: maroon; background: white}

.quicktest { color: black; background-color: #B6B0FF }


.example { border-style: solid; 
           border-width: 1px ; 
           color: #5D0091;
           background-color: #F9F5DE; 
           border-color: #5D0091
}

.deprecated-example { border-style: solid; 
                      border-width: 1px ; 
                      color: #5D0091;
                      background-color: #F9F5DE; 
                      border-color: red
}

.elements { color: black; background-color: #E7FFFE }
.attributes { color: black; background-color: #FFFADF }

.off { display:none }

.dfn { color: #00513D; 
       background-color: white;
       font-style: italic 
}

HR { margin-top: .5em}

.toc {
    text-indent: 0;
}

P.toc-line {
    margin-top: 1em;
    margin-bottom: 1em;
    text-indent: 0;
}


UL.toc, OL.toc {list-style: none}
DIV.toc UL UL, DIV.toc OL OL {margin-left: 0}
DIV.toc UL UL UL, DIV.toc OL OL OL {margin-left: 1em}
DIV.toc UL UL UL UL, DIV.toc OL OL OL OL {margin-left: 0}
LI.tocline1 {font-weight: bold}
LI.tocline2 {font-weight: normal}
LI.tocline4 {font-style: italic}
DIV.toc, UL.index, {
    text-align: left
}

IMG {
    border: 0;
}
