BODY {
	color: #000000;
	background: white none;
	text-decoration: none;
    font-family : Verdana, Arial, Helvetica, sans-serif; 
	font-style: normal;
	font-size: 80%;
}
H1 {
	text-align: center;
	color:   #004f80;
	padding: 0 0 0 0;
	font-size: 200%;
}
H2 {
	color:   #004f80;
	margin: 5px 0 3px 0;		/* top right bottom left */
	padding: 2mm 0 0 0;
	font-size: 150%;
}
H3 {
	color:   #004f80;
	margin: 5px 0 2px 0;		/* top right bottom left */
	padding: 2mm 0 0 0;
	font-size: 120%;
}
H4 {
	color:   #004f80;
	margin: 5px 0 2px 0;		/* top right bottom left */
	padding: 0 0 0 0;
	font-size: 110%;
}
ol {
	margin: 5px 0 0 10mm;		/* top right bottom left */
	padding: 0 0 0 0;
	font-size: 100%;
}
ol li {
	margin: 5px 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
}
ul {
	margin: 1px 0 1px 10mm;		/* top right bottom left */
	padding: 0 0 0 0;
	font-size: 100%;
}
ul li {
	padding: 0 0 0 0;
}
dl {
	margin: 5px 0 0 10mm;		/* top right bottom left */
	padding: 0 0 0 0;
	font-size: 100%;
}
dl dd {
	margin: 0 0 0 5mm;		/* top right bottom left */
}
p {
	margin: 5px 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
	font-size: 100%;
}
table {
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
	width: 100%;
	font-size: 100%;
}
table tr {
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
}
table tr td {
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
}
code {
	font-family: Courier New, Courier, monospace;
	font-size: 100%;
}
tt {
	font-family: Courier New, Courier, monospace;
	font-size: 100%;
}
pre {
	font-family: Courier New, Courier, monospace;
	font-size: 100%;
}

/*
 * --------------------------------------------------------
 *		Navigation
 * --------------------------------------------------------
 */
table.topNav {
	width: 100% 
	padding: 2mm 0 2mm 1mm;
    background-color: #e0ecf0;
}
table.topNav tr td.index {
	font-size: 80%;
}
table.topNav tr td.index a tt {
	font-size: 125%;
}
table.topNav tr td.title {
	text-align: right;
	font-weight: bold;
	font-style: italic;
	font-size: 130%;
	color:   #004f80;
	padding: 1mm 1mm 1mm 1mm;
}

table.feedback {
	width: 100% 
	padding: 2mm 0 2mm 0mm;      /* top right bottom left */
    background-color: #ffffff;
}
table.feedback tr td.feedback {
    padding: 1mm 1mm 1mm 1mm;
	text-align: right;
	font-size: 80%;
}

table.botNav {
    border-width: 2 0 0 0;
    border-style: ridge none none none;
    border-color: blue;
	width: 80% 
	padding: 0 0 0 0;
	margin: 10mm 0 0 0;		/* top right bottom left */
}
table.botNav tr td.index {
	text-align: center;
	font-size: 80%;
}
table.botNav tr td.index a tt {
	font-size: 125%;
}
table.botNav tr td.xhtml {
	text-align: right;
}
table.botNav tr td.sponsor {
	text-align: right;
}
table.botNav tr td.copyright {
	text-align: center;
	font-style: italic;
}
table.botNav tr td.feedback {
	text-align: center;
	font-size: 80%;
}

table.biblio {
	margin: 0 0 0mm 0;
}
table.biblio tr td.key {
	padding: 0 5px 0 0;
	text-align: right;
	font-weight: bold;
	font-family: Courier New, Courier, monospace;
	font-size: 130%;
	width: 5% 
}

/*
 * --------------------------------------------------------
 *		Headers
 * --------------------------------------------------------
 */
H1 span.subtitle {
	font-style: italic;
	font-weight: normal;
	font-size: 80%;
	text-decoration: none;
}
H2.index, H2.fulllist {
    border-width: 2 0 0 0;
    border-style: ridge none none none;
    border-color: blue;
	font-size: 150%;
	font-style: italic;
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 2mm 0 0 0;
}
/*
 * --------------------------------------------------------
 *		Blocks
 * --------------------------------------------------------
 */

div.h1 {
	margin: 0 0 0 0;		/* top right bottom left */
}
div.h2 {
	margin: 0 0 5mm 5mm;		/* top right bottom left */
}
div.h3 {
	margin: 0 0 0 0;		/* top right bottom left */
}
div.h4 {
	margin: 0 0 0 2mm;		/* top right bottom left */
}

div.license {
	margin: 0 0 5mm 5mm;		/* top right bottom left */
    font-size: 150%;
}
div.install {
	margin: 0 0 5mm 5mm;		/* top right bottom left */
}
div.intro {
	margin: 0 0 5mm 5mm;		/* top right bottom left */
}

div.history {
	margin: 0 0 5mm 5mm;		/* top right bottom left */
}
div.history A:link {
	color:   #004f80;
	text-decoration: none;
}
div.history A:visited {
	color:   #004f80;
	text-decoration: none;
}
div.history A:active {
	color:   #004f80;
	text-decoration: none;
}

table.deflist {
	margin: 0 0 0 5mm;
	padding: 0 0 0 0;
	width: 100%;
	font-size: 100%;
}
table.deflist tbody tr {
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
}
table.deflist tbody tr td.term {
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 0 3mm 0 0;
	width: 15mm;
}
table.deflist tbody tr td.def {
	margin: 0 0 0 0;		/* top right bottom left */
	padding: 0 0 0 0;
}

table.images {
	padding: 2mm 3mm 2mm 3mm;
	margin:  0 0 0 0;			/* top right bottom left */
	width: 90%;
}
table.images tbody tr td.spare {
	width: 100%;
}
table.images tbody tr.image td {
	padding: 2mm 2mm 2mm 2mm;
}
table.images tbody tr.title {
	text-align: center;
	font-family: Courier New, Courier, monospace;
}

div.prototype {
	margin: 2mm 0 2mm 0;		/* top right bottom left */
	font-family: Courier New, Courier, monospace;
	font-weight: bold;
}
div.examples {
    width: 100%;
}
div.example {
    background-color: #e0ecf0;
	/* background: #ffff99; */
	padding: 2mm 3mm 2mm 3mm;
	margin:  2mm 0 1mm 0;			/* top right bottom left */
}
div.example pre.computer {
	font-family: Courier New, Courier, monospace;
	color:   red;
	padding: 0mm 3mm 2mm 3mm;
}
div.example pre.user {
	font-family: Courier New, Courier, monospace;
	color:   black;
	padding: 0mm 3mm 0mm 3mm;
}
div.example pre.user A:link {
	color: purple;
	text-decoration: none;
}
div.example pre.user A:visited {
	color: purple;
	text-decoration: none;
}
div.example pre.user A:active {
	color: red;
	text-decoration: underline;
}
div.example pre {
	margin:  0 0 0 0;				/* top right bottom left */
	padding: 0 0 0 0;
}
div.input, div.output {
	font-family: Courier New, Courier, monospace;
}

div.eqfig {
	border-top: 1 ridge #ffff99;
	border-bottom: 1 ridge #ffff99;
	border-left: 1 ridge #ffff99;
	border-right: 1 ridge #ffff99;
	width: 100%;
	margin: 2mm 0 2mm 0;
	padding: 2mm 2mm 2mm 2mm;
}
div.figure {
	margin: 2mm 0 2mm 0;
	padding: 2mm 2mm 2mm 2mm;
}

div.bridge {
	font-weight: bold;
	padding: 0 0 0 0;
	margin: 2mm 0 1mm 0;
}

pre.listing {
    background-color: #e0ecf0;
	padding: 2mm 3mm 2mm 3mm;
	margin:  2mm 3mm 2mm 0;			/* top right bottom left */
}

span.par {
	font-family: Courier New, Courier, monospace;
	font-weight: bold;
}
span.fun {
	font-family: Courier New, Courier, monospace;
	font-weight: bold;
}
span.type {
	font-family: Courier New, Courier, monospace;
	font-weight: normal;
}

/*
 * --------------------------------------------------------
 *		Links
 * --------------------------------------------------------
 */
A:link {
	color: blue;
	text-decoration: underline;
}
A:visited {
	color: purple;
	text-decoration: underline;
}
A:active {
	color: red;
	text-decoration: underline;
}
/*
 * --------------------------------------------------------
 *		Without class
 * --------------------------------------------------------
 */