@import url(non-ns4.css);

body {
 background-color: white;
 color: black;
 margin-left: 5%;
 margin-right: 5%;
 font-family:  Verdana, Arial, helvetica, sans-serif;
}

h1 img {vertical-align: middle}

h1 {
  border-bottom: 1px solid black;
}

h2 {
 font-size: 1.4em;
 font-weight: normal;
}

h3 {
 font-size: 1em;
 font-weight: bold;
}

a:hover   {background-color: #d5e0ea; }
a:visited {color: purple}
a:link img, a:visited img {border-style: none}
a img {color: white} /* The only way to hide the border in NS 4.x */

address {
  padding-top: .5em;
  padding-right: 1em;
  padding-left: 1em;
  padding-bottom: .5em;
  margin-top:  3em;
  border-top: 1px solid black;
  background-color: #d5e0ea;
  clear: both;
  font-size:  0.8em;
}

address a:hover { background-color: white }

p.navbar {
  text-decoration: none;
  margin: 1em;
  padding: 1ex;
  min-width: 13ex;
  max-width: 17em;
  width: 18ex;
  background-color: #d5e0ea;
  border:1px dashed #999;
}

p.navbar a {
  text-decoration: none;
}

p.navbar a:hover {
  text-decoration: underline;
  background: white;
}

span.highlight {
  color: red;
  font-style: oblique;
}

span.name {
 font-weight: bold;
}

span.papername {
 color: green;
}

div.papername {
 color: darkblue;
 font-weight: bold;
}

div.paperauth {
 color: black;
}

div.paperref {
 font-size: 0.8em;
 color: darkblue;
}

li { 
  margin-bottom: 0.4em; 
}

div.figure {
  float: right;
  border: thin grey dotted;
  margin: 0.5em;
  padding: 0.5em;
}
div.figure p {
  text-align: right;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}