body {
     /* background:#dddddd none repeat scroll 0%;*/
     /* background:#dddddd none repeat scroll 0%; */
     background:#d8d8d8 none repeat scroll 0%;
     margin:10px;
     padding:0px;
}

img { 
  border:0px;
}

/* make text a bit smaller and sans-serif */
body {
     font-family:verdana,arial,helvetica,sans-serif;
     font-size:0.82em;
}

/* table {
 *     font-size:0.82em;
 *}
 */


/* needed to do what? */
body {
margin: 10px 10px 0px;
padding: 0px;
}

A:link {text-decoration: none; color: #0000a0}
A:visited {text-decoration: none;}
A:active {text-decoration: none}
A:hover {text-decoration: underline; color: red;}

/* for menu links we want to keep things simple (we'll use the hover from the
 *  menu */
.discrete:link{   color:  inherit;}
.discrete:visited{color:  inherit;}
.discrete:hover {text-decoration: none;}

.undiscrete:link{   color:  #f00;}
.undiscrete:visited{color:  #f00;}
.undiscrete:hover {text-decoration: none;}


html>body #banner {
height:1.7em;
}


/* stuff that goes at top */
#banner {
background:#fff;
border-top:1px solid #aaa;
border-right:1px solid #aaa;
border-left:1px solid #aaa;
voice-family: "\"}\"";
voice-family: inherit;
margin: 0px 20px 0px 0px;
height:1.4em;
padding:0.2em 0.4em 0.2em 0.2em;
text-align: right;
font-size: 200%;
}




#leftcontent {
position: absolute;
left:10px;
top:3em;
width:181px;
background:#fff;
border:1px solid #aaa;
background: #eee;
padding-right:0px;
padding-left:0px;
padding-bottom:5px;
  voice-family: "\"}\"";
  voice-family: inherit;
}

.hasmargin {
margin: 10px 10px 10px 10px;
width:90%;
}


#centercontent {
  background:#fff;
  margin-left: 181px;
  margin-right:0px;
  border:1px solid #aaa;
  voice-family: "\"}\"";
  voice-family: inherit;
  margin-left: 181px;
  margin-right:0px;
  padding:8pt;
  min-height: 10em;
}

/* not sure what purpose is for following */
html>body #centercontent {
margin-left: 181px;
margin-right:0px;
}


/* */
#mylabel {
position: absolute;
left:20px;
top:1.3em;
width:20em;
height:2em;
background:#fff;
border:0px solid #000;
color: #030;
}

/* the following is not used at all */
#rightcontent {
position: absolute;
right:10px;
top:50px;
width:200px;
background:#fff;
border:1px solid #aaa;
margin-right: -10pt;
margin-top: -10pt;
}

/* try this out */
#rightfloat {
float:right;
width:180px;
background:#eee;
border-left:1px solid #aaa;
border-bottom:1px solid #aaa;
  padding:10pt;
margin-right:-8pt;
margin-top:-8pt;
}



/* Get tables that light up.
 * For some reason if done for tr this messes up the rest of the 
 * of the document
 */
td.hover:link {
  background: #000; }
td.hover:hover {
  background: #ddd; }

table.smaller {
     font-size:0.9em;
     color:#000;
}
table.smaller2 {
     font-size:0.8em;
}

/* for headers (e.g. Research software) in the menus */
.menuheader {color: #555; font-style: italic;}
/* for addresses where I am not currently there*/
.notthere {color: #777;}