body {
background-color: #FFFFCC;
font-family: helvetica, verdana, sans-serif;
margin-left: 170px;
margin-right: 3%;
max-width:720px;
width:expression(document.body.clientWidth > 720? "720px": "auto" );
}

.invisible {
color: #FFFFCC
}

.new {
color: red
}

td.non-gmes {
color: gray
}

table {
border-color: #990033;
} 

th {
border-color: #990033;
}

td {
border-color: #990033;
}

#navigation {
width: 140px;
position: fixed;
top: 8px;
left: 10px;
background-color: #FFFFCC;
text-align: center;
border: solid;
border-color: #990033;
}

.nav {margin-top: 0.25em; margin-bottom: 0.25em;}

p {color: #990033; margin-top: 0.25em; margin-bottom: 0.5em;}
h1 {background-color: #990033;color: #FFFFCC; margin-top: 0em; margin-bottom: 0em; text-align: center}
h2 {color: black; margin-top: 0em; margin-bottom: 0.25em;}
h3 {color: black; margin-top: 1em; margin-bottom: 0.25em;}
h4 {color: black; margin-top: 1em; margin-bottom: 0em;}
hr {color: green; margin-top: 0em; margin-bottom: 0em;}

a.nav:link {color: darkblue; text-decoration: none; font-weight: bold}
a.nav:visited {color: darkblue; text-decoration: none; font-weight: bold}
a.nav:hover {color: red; text-decoration: none}
a.nav:active {color: magenta; text-decoration: none}


a:link {color: darkblue}       /* unvisited links */
a:visited {color: darkblue}    /* visited links */
a:hover {color: red}      /* mouse over link */
a:active {color: magenta}  /* selected link */ 

.changed {
padding-left: 0.4em;
border-left: solid;
border-right: none;
border-top: none;
border-bottom: none;
border-left-width: thin;
border-color: red;
}

.box {
padding-left: 0.4em;
padding-right: 0.4em;
padding-top: 0.4em;
padding-bottom: 0.4em;
border: solid;
border-width:thin;
border-color: red;
}