body
{
background-color:#650095;
font-size:16px;
font-family:Utopia;
}

.navigation
{
font-size:10px;
display:block;
width:120px;
padding:0px;
margin:0px;
border:0px;
}

a.navigation:link {text-decoration:none;}
a.navigation:visited {text-decoration:none;}
a.navigation:hover
{
  font-size:12px;
  background:#ffa000;
}

#leftPanel
{
position:fixed;
left:0px;
width:20%;
height:99%;
overflow:auto;
background-color:#f0c0ff;
}

#leftPanelContents
{
height:100%;
padding-left:3px;
padding-right:3px;
background-color:#f0c0ff;
}

#topPanel
{
z-index:1;
position:fixed;
width:80%;
left:20%;
top:0px;
}

#topPanelContents
{
background-color:#650095;
border:solid 2px #ffa000;
height:25px;
}

#topPanelNavigation
{
float:left;
width:13%;
background-color:#f0c0ff;
padding:0px;
height:12px;
}

#topPanelTitle
{
float:left;
width:87%;
color:#ffffff;
text-align:center;
}

#mainPanel
{
position:absolute;
width:80%;
left:20%;
top:30px;
}

#mainPanelContents
{
margin-left:1px;
padding-left:1em;
background-color:#fff0ff;
}

#mainPanelTitle
{
text-align:center;
background-color:#650095;
color:#ffffff;
border:solid 2px #ffa000;
}

.mainPanelSubtitle
{
color:#ffa000;
}

pre
{
margin-left:1em;
overflow:auto;
}