body
{
    background-color:#000000;
    font-size:100%;
    margin:0px;
    padding:0px;
    color:lightgray;
    font-family:Sans-Serif;
}

.navregion
{
position:absolute;
commented_out_width:20em; 
right:0px;
padding:0;
top:0px;
float:right;
}

.navbarlist
{
list-style-type:none;
margin:0;
padding:0;
overflow:hidden;
}

.navbarelement
{
      float:left;
      font-size:1.1em;
      font-family:Sans-Serif;
      width:5em;
}

a.navbar:link,a.navbar:visited
{
display:block;
font-weight:bold;
color:#B0B0B0;
background-color:#242424;
text-align:center;
padding:4px;
text-decoration:none;
}

a.navbar:hover,a.navbar:active
{
background-color:#323232;
color:#FFFFFF;
}


h1
{
color:#E0E0E0;
text-align:left;
font-family:Sans-serif;
font-size:2.0em;
}


p
{
font-family:Garamond,Times,Serif;
font-size:1em;
color:lightgray;
}

a:link {text-decoration:none;}      /* unvisited link */

div.ex
{
width:13em;
height:10em;
padding:0;
border:.2em solid black;
margin:0px;
background:#000000;
color:#000000;
text-align:center;
float:left;
}

div.ex2
{
padding:1em;
border:.2em solid black;
margin:0px;
background:#000000;
color:#000000;
text-align:center;
jfloat:center;
}

div.ex2:hover 
{
color:#777777;
}

div.ex:hover 
{
background:#202020;
border:.2em solid #202020;
color:#777777;
}

.unfloat
{
clear:both;
}

.tilemargins2
{
margin-bottom:auto;
margin-top:auto;
jwidth:100%;
border:0px;
}

.tilemargins
{
margin-bottom:auto;
margin-top:auto;
width:100%;
border:0px;
filter:alpha(opacity=60);
opacity:0.6;
}

.tilemargins:hover
{
filter:alpha(opacity=100);
opacity:1;
}