<html>
<style type="text/css">
<!--
body {
    font-size: 100%;
    font-family: Times, "Times New Roman", serif;
    background: #000000
    color: white;
}

LI {
    font-family: Arial, Helvetica, sans-serif;
}

A {
    background: transparent;
}

A:link {
    color: blue;
}

A:visited {
    color: #800080;
}

A:active {
    color: red;
}

A.index:link {
    color: #8000ff;
}


H1, H2 {
    font-size: 160%;
    font-weight: bold;
    color: blue;
}

H2 {
    font-size: 130%;
    font-weight: normal;
}

SMALL.comment {
    font-size: 70%;
    font-style: italic;
    font-family: Times, "Times New Roman", serif;
}

DFN.book {
    font-style: italic;
}

DFN.paper {
    font-style: italic;
}

P {
    font-size: 100%;
}

P.bookmark {
    font-size: 70%;
    font-family: Arial, Helvetica, sans-serif;
    background: #f0f0f0;
    border-style: solid;
    border-width: 1px;
    border-color: white;
    padding: 1ex;
    margin-left: 1ex;
    margin-right: 1ex;
}


EM.bookmark-category {
    font-style: roman;
    font-weight: bold;
}

P.pagetitle {
    font-size: 180%;    
    font-weight: bold;
}

P.index {
    font-style: italic;
    font-size: 80%;
    background: #f0f0f0;
    border-style: solid;
    border-color: white;
    border-width: 3px;
    padding: 1ex;
    margin-left: 5ex;
    margin-right: 5ex;
}


-->
</style>


<body>
</body>

</html>
