body
{
 background-color: #ffffcc;
 color: black;
 font-size: medium;
 margin: 4ex;
}
img
{
 border: 0ex;
}
div#pagetitle
{
 text-align: center;
}
div#pagemenu
{
 font-size: 125%;
 margin: 3ex;
 float: right;
 width: 20%;
 height: 100%;
 padding: 2ex;
 border: medium dashed blue;
 text-align: right;
}
div#pagemenu div
{
 text-align: left;
}
div#pageintro
{
 font-size: 150%;
 height: 100%;
 margin: 2ex 0ex;
}
div#pageapplet
{
 text-align: center;
}
div#pagefooter
{
 margin: 4ex;
 text-align: center;
}