a:link {color: #0000ff; text-decoration: none;}
a:visited {color: #7200b9; text-decoration: none;}
a:hover {text-decoration: underline;}
a.mail:link {color: #0000ff; text-decoration: none;}
a.mail:visited {color: #7200b9; text-decoration: none;}
a.mail:hover {text-decoration: underline;}

a.im:link {text-decoration: none;}
a.im:visited {text-decoration: none;}
a.im:hover {color: red; text-decoration: none;}


/*body {font-family: arial, verdana, helvetica, lucida, sans-serif;}
body {font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif;}*/
body {font-family: helvetica;}

h1, h2, h3, h4, h5, h6 {font-family: arial, helvetica, verdana, lucida, sans-serif;}

pre, code, tt {
  font-family: "Bitstream Vera Sans Mono", Monaco, "Andale Mono", monospace;
  line-height: 100%;
  white-space: pre;
}

body {
  margin:0 0 0 0;
  padding:0 0 0 0;
  /*background-image: url(../pics/bg.jpg);
  background-attachment: fixed;*/
  background: rgb(253, 234, 219); /*background: rgb(120, 195,215);*/
  color: rgb(0, 0, 0);
}

h1 {
  color: rgb(78, 97, 41); /*color: rgb(20, 60, 60);*/
  border: none;
  font-weight: bold;
  font-size: 200%;
  margin: 0 0 0.1em 0;
  /*padding: 0 0 4px 4px;*/
}

h2 {
  /*background: #e8f4f7;
  color: rgb(0, 0, 0);
  border: 1px solid #e5ecf9;
  border-top: 1px solid #3399cc;
  font-weight: bold;
  font-size: 170%;
  margin: 0;
  padding: 0 4px 0 4px;*/
}

h3 {
  /*background: #e0ecff;*/
  /*color: rgb(192, 0, 0);*/
  color: rgb(0, 0, 0);
  border: none;
  /*font-weight: bold;*/
  font-weight: bold;
  font-size: 140%;
  margin: 0 0 0.1em 0;
  /*padding: 2px 0 2px 4px;*/
}

h4 {
  font-weight: bold;
  font-size: 130%;
  color: rgb(14, 24, 73);
  /*margin: 0 0 0 0;
  /*padding: 2px 0 2px 4px;*/
  margin-top: 1em;
  margin-bottom: 0.5em;
}


.fbox {margin: 0 0 1em 0; padding: 0 1em 0 1em;  background: rgb(230, 230, 255); border: 1px solid rgb(0, 0, 0);}

.break {background: #deefe0;}
/*.daybreak {background: #e6e6e6; text-align: left;}*/



#content {
  margin: 1em 13em 0 1em;
  padding: 0 1em 0 0;
  /*border-top: 2px solid rgb(204, 204, 255);*/
  /*border-right: 2px solid rgb(0, 0, 0);*/
  /*border-bottom: 2px solid rgb(204, 204, 255);*/
}


#header {
  text-align: left;
  margin: 1em 1em 0 1em;
  /*padding: 0 0 1em 0;*/
  color: rgb(0, 0, 0);
  /*border-bottom: 2px solid rgb(204, 204, 255);*/
}

#footer {
  text-align: left;
  margin: 2em 15em 2em 1em;
  /*padding: 1em 0 0 0;*/
  color: rgb(80, 80, 80);
  font-size: 80%;
  /*border-top: 1px solid #008000;*/
}

#flash {
  /*font-family: arial, helvetica, verdana, lucida, sans-serif;*/
  text-align: left;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: normal;
  color: rgb(255, 255, 255);
  background: rgb(20, 60, 60);
  /*background: #808080;*/
  /*border-top: 2px solid rgb(204, 204, 255);
  border-bottom: 2px solid rgb(204, 204, 255);*/
}

#flash a:link {color: rgb(52, 253, 253);}
#flash a:visited {color: rgb(52, 253, 253);}

#imgrt {
  float: right;
  text-align: left;
  width: 180px;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: normal;
  /*color: rgb(0, 255, 0);
  background: #808080;
  border: 2px solid rgb(204, 204, 255);*/
}

span.hsmall {
  font-weight: normal;
  font-size: 70%;
}

span.math {font-style: italic;}
span.ref {font-style: italic;}
span.fnt {color: rgb(102, 102, 102);}
span.arx {
  font-family: "Bitstream Vera Sans Mono", Monaco, "Andale Mono", monospace;
  line-height: 100%;
  white-space: pre;
}

span.red {font-size: 110%; color: rgb(116, 0, 0);}

span.emphbf {
  font-size: 100%;
  font-weight: bold;
}

li {
  margin: 0 0 0.5em 0;
  /*padding: 2px 0 2px 4px;*/
}

#logo {
  /*margin: 0;*/
  position: fixed;
  float: right;
  /*top: 35em;
  bottom: 1em;*/
  left: auto;
  width: 125px;
  right: 1em;
  padding: 0 0 0 0;
}

img.lft {float: left;}
img.rt {float: right;}

span.navheader {
display: block; font-weight: bold; padding: 0 0.5em 0 0.5em; background: rgb(255, 255, 255); color: rgb(0, 0, 0); border-top: 4px solid rgb(255, 255, 255); border-bottom: 4px solid rgb(255, 255, 255); border-left: 4px solid rgb(255, 255, 255);
}

.caption {font-size: 80%;}

#nav {
  margin: 1em 1em 0 0;
  padding: 0 0 0 0;
  /*position: fixed;*/
  float: right;
  top: auto;
  left: 1em;
  width: 12em;
  right: auto; /*NA in netscape-4*/
  font-size: 100%;
  color: rgb(0, 0, 0);
  /*background: rgb(160, 235, 255);*/
  border-left: 1px solid rgb(255, 255, 255);
  /*border-right: 2px solid rgb(0, 0, 0);
  border-bottom: 2px solid rgb(0, 0, 0);*/
  /*border-left: 2px solid rgb(204, 204, 255);*/
  text-align: left;
}
#nav a {display: block;}
#nav a:link {padding: 0.2em 0.5em 0.2em 0.5em; color: #0000ff; /*border-bottom: 4px solid rgb(255, 255, 255); border-left: 4px solid rgb(255, 255, 255);*/ text-decoration: none;}
#nav a:visited {padding: 0.2em 0.5em 0.2em 0.5em; color: #7200b9; /*border-bottom: 4px solid rgb(255, 255, 255); border-left: 4px solid rgb(255, 255, 255);*/ text-decoration: none;}
#nav a:hover {padding: 0.2em 0.5em 0.2em 0.5em; background: rgb(255, 255, 255); text-decoration: underline;}
#nav a.current:link {padding: 0.2em 0.5em 0.2em 0.5em; color: #0000ff; background: rgb(204, 204, 255); /*border-left: 4px solid rgb(204, 204, 255);*/ font-weight: normal; text-decoration: none;}
#nav a.current:visited {padding: 0.2em 0.5em 0.2em 0.5em; color: #7200b9; background: rgb(204, 204, 255); /*border-left: 4px solid rgb(204, 204, 255);*/ font-weight: normal; text-decoration: none;}
#nav a.current:hover {padding: 0.2em 0.5em 0.2em 0.5em; background: rgb(204, 204, 255); /*border-left: 4px solid rgb(204, 204, 255);*/ text-decoration: underline;}