body {
        background-image:url(/doc/image/backpurple.gif);
        background-repeat:repeat;
	font-family:helvetica;
	font-size:14px;
	}

dt {
        font-weight:bold;
        padding-bottom:8px;
        font-size:18px;
        }

dd {
        padding-bottom:12px;
        }

h1 {
	font-size:26px;
	color:#08215a;
	}

h2 {
	color:#000000;
        font-size:18px;
	font-weight:bold;
        }

h3 {
	color:#000000;
	font-size:16px;
	font-weight:bold;
	}

a {
	color:#08215a;
	}

hr {
        color:#08215a;
	}

table {
	background-color:#ffffff;
	}

td {
	font-family:verdana;
	font-size:11px;
	}
