div.header
{
width: 100%;
padding:10px;
height:10%;
top:0;
bottom:auto;
left:0;
text-align:center;
}
div.nav
{
position:relative;
width:15%;
padding:4px;
top:10%;
height:90%;
float: left;
}
div.main
{
top: 10%;
width:80%;
left:20%;
padding: 4px;
height:90%;
float:right;
}

.center-table
        {
        margin-right:auto;
        margin-left:auto;
        }
h1, h2
        {
        text-align:center;
        }
body
        {
        background-color:#FFFFCC;
        }
th
        {
        background-color:#FFFF00;
        }
table
        {
        border-collapse:collapse;
        border: solid #000000 1px;
        }
td, th
        {
        border-collapse:collapse;
        border: solid #000000 1px;
        }
th
	{
	background-color:#FFFF00;
	}
div.codeExample
        {
        width:80%;
        background-color:#FFFF00;
        border-width:thin;
        margin-left:8%;
        margin-top:10pt;
        margin-bottom:10pt;
        padding-left:12pt;
        padding-right:12pt;
        padding-top:12pt;
        padding-bottom:12pt;
        border-style:solid;
        }

div.unix
        {
        width:80%;
        background-color:#FF99FF;
        border-width:thin;
        margin-left:8%;
        margin-top:10pt;
        margin-bottom:10pt;
        padding-left:12pt;
        padding-right:12pt;
        padding-top:12pt;
        padding-bottom:12pt;
        border-style:solid;
        }