
<style type="text/css">
    body { color: black; }
    body { background-color: white; }
    body { background-image: url(./images/BasePage.jpg); }
    body { background-repeat: repeat-y; }
    body { margin-left: 0; margin-top: 0; }

    h1,h2,h3,h4,h5,h6,p,ul { 
        font-family: "Lucidux sansx", "Helvetica", sans-serif;
    }

    h1,h2,h3,h4 { font-weight: bold; text-decoration: underline;}
    h1 { font-size: 150%; }
    h2 { font-size: 125%; }
    h3 { font-size: 100%; }
    h1,h2,h3,h4,h5,h6 { margin-top: 2em; margin-bottom: 1em; }
    h1,h2,h3,h4,h5,h6 { margin-left: 33%; margin-right:33%; }
    p,ul { font-size: 12pt; font-weight: normal; }
    p, pre { margin-left:5%; margin-right:5% }
    pre { font-family: monospace; font-size:12pt; font-weight:normal; }

    p.vertSpace { margin-top: 2em; }
    p.heading { font-size: 150%; 
                font-weight: bold; 
		text-decoration: underline;
		margin-left: 20%; margin-right: 20%; }

    p.just { text-align: justify; }
    p.indent { margin-left: 2em; }
    p.bigIndent { margin-left: 10em; }
    p.oldTerm {
        font-family : monospace; 
	color : rgb(0,255,0);
    }
    p.cpright { 
	margin-top: 3em; margin-bottom: 3em;
	margin-left: 30%; margin-right: 10%;
	color: rgb(33,33,99);
	font-size: smaller;
    }

    ul.indent { margin-left: 2em; }

    div.box { border: solid; border-width: thin; width: 100% }
    div.color {
        background: rgb(204,204,255);
        padding: 0.5em;
        border: none;
    }

    .oldTerm { 
        font-family: monospace; 
	color: rgb(50,255,50); 
	font-weight: normal; 
	font-size: larger;
    }
    div.oldTerm {
        background : rgb(10,10,10);
	padding : 0.5em;
	margin-top : 2em;
	margin-botton : 2em;
	margin-left : 5%;
	margin-right : 5%;
	border : none;
    }

</style>







