@html2ps {
   paper {
     type: A4;
   }
   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 */
   }
   xref {
     text: "[p. $N]";	/* avoid line breaks before page no. */
     passes: 2;
   } 
   header {
        alternate: 1;
        center: $T;
   }
   footer {
        alternate: 1;
	left: "$N";
        right: "$D";
        center: " ";
        odd-center: " ";
        even-center: " ";
   }
   margin {
        left: 3.5cm;
        right: 3.5cm;
   }
   hyphenation {
	en {
	    file: hyphen.tex
	}
   }
   package {
     netpbm: 1;
   }
   doc-sep: "<!--OddPage-->";   /* have every first page on the right */
}

BODY {
    color: black;
    /* text-align: justify; */
    font-family: helvetica, sans-serif;
    background: white;
    /* margin: 2em; */
    /* For the REC: background: #def url(recbg.jpg); */
}
H1, H2, H3, H4, H5, H6 {
    text-align: left;
}

H1 {
    clear: left;
    margin-top: 2em;
}

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

PRE {
    font-family: monospace;
    margin-left: 1em;
    /* font-size: 90% */
}

ADDRESS {
    text-align: right;
    font-style: italic;
}

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

/*
A:link, A:visited {color: black; /*color: inherit*/}
DIV.example A:link, DIV.example A:visited {color: maroon; /*color: inherit*/}
DIV.deprecated-html-example A:link,
DIV.deprecated-html-example A:visited {color: red; /*color: inherit*/}
.note A:link, .note A:visited {color: green; /*color: inherit*/}
*/

A.propdef-title {
  background: yellow;
}

A.descdef-title {
  color: yellow;
  background: green
}

TABLE {margin: 0.5em}

div.example { color: maroon }
pre.example { color: maroon }
pre.illegal-example { color: red }
div.illegal-example { color: red }
div.illegal-example p { color: black }


div.html-example { color: maroon }
pre.html-example { color: maroon }
pre.illegal-html-example { color: red }
div.illegal-html-example { color: red }
div.illegal-html-example p { color: black }
pre.deprecated-html-example { color: red }
div.deprecated-html-example { color: red }
div.deprecated-html-example p { color: black }

div.xml-example { color: maroon }
pre.xml-example { color: maroon }
pre.illegal-xml-example { color: red }
div.illegal-xml-example { color: red }
div.illegal-xml-example p { color: black }

.note {
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 1em;
    margin-right: 1em;
    color: green
}

.normref { 
    color: red;
}	

.informref {
    color: green;
}	

/* html2ps doesn't like complex selectors
DIV.propdef TH { 
    text-align: right; 
}

DIV.descdef TH { 
    text-align: right; 
}
*/

UL.toc, OL.toc {list-style: none}
/* html2ps doesn't like complex selectors
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.subtoc UL, DIV.subtoc OL {list-style: none} */
DIV.subtoc {padding: 1em; border: solid thin; margin: 1em 0;
    background: #ddd}

UL.index {list-style: none}

S, DEL {text-decoration: line-through; color: red}
U, INS {text-decoration: underline; background: #bfa}

DIV.figure {
    text-align: center;
    /*border: solid thin;
    width: 100%;*/
    margin: 2.5em 0
}
P.caption {
    text-align: center;
    font-style: italic;
    font-weight: bold;
    font-size: 90%;
    color: #088;
    margin: 1.5em 25% 0 25%;
}
DIV.toc, UL.index, DT {
    text-align: left
}
SUP {
    vertical-align: super;
    font-size: 80%
}

.dlink { display: none }

/* the following doesn't work for now,
   instead we rely on a patched version of html2ps which has this built-in */
DIV.navbar {
   display: none;
}