a:link{
  color: #00f;
  text-decoration: none;
}
a:visited{
  color: #00f;
  text-decoration: none;
}
a:hover{
  color: #f00;
  text-decoration: underline;
}
a:active{
  color: #0ff;
  text-decoration: underline;
}
a.nonexistent {
  background-color: #F5F5F5;         /* white smoke */
  color: red ;
  font-weight: bold;
}
a.nonexistent:visited {
  background-color: #F5F5F5         /* white smoke */
  color: red}

body{
  background-image: url(../img/graph-paper.png);
  background-repeat: repeat;
  margin: 1em 1em 1em 1em;
  font-family: serif;
}
em{
  font-family: sans-serif;
  font-size: 100%;
  font-weight: bold;
  font-style: normal;
  color: #000;
 }
strong{
  font-family: sans-serif;
  font-size: 100%;
  font-weight: bold;
  font-style: normal;
  color: #F00;
}
p{
  padding: 0em 0em 0em 0em;
  border-width: 0em 0em 0em 0em;
  margin-left: 1em;
  text-indent: 0em;
}
pre{
  padding: 0.5em 2em 0.5em 2em;
  margin: 0em 5em 0em 5em;
  line-height: 110%;
  white-space:  pre;
  background: #eee;
  color: #000;
  font-style: normal;
  font-family: monospace;
  overflow: auto;
}
hr{
  clear: both;
  height: 0.5pt;
  color: #00f;
}
h1{
  margin:0.5em  0em  0.5em  0em;
  border-width: 1pt  0pt 1pt  0pt;
  border-style: solid none solid none;
  padding: 0em  0em  0em  0em;
  font-family: "Times New Roman", times, Times, sans-serif;
  font-size: 250%;
  text-indent: 0.5em;
 }
h2{
  font-family: sans-serif;
  font-size: 120%;
  text-indent: 0em;
 }
h3{
  font-family: sans-serif;
  font-size: 110%;
  text-indent: 0.5em;
 }
blockquote{
  font-style: italic;
}
img{
  float: left;
  padding: 1em 2em 2em 1em;
  margin: 1em 2em 2em 1em;
  border-width: 0em;
}
dl{
  background: none;
  border-width: 0em 0em 0em 0em;
  padding: 0em 0em 0em 3em;
  margin: 0em 0em 0em 0em;
  text-align: left;
}
dt{
  font-family: sans-serif;
  font-weight: bold;
 }
dd{
  padding: 1em 0em 0em 2em;
 }
ul{
  margin-left: 1em;
  list-style-type: circle;
}
table.contents{
  margin: 0.5em 2em 0.5em 4em;
  background: #eee;
  color: #000;
  font-family: monospace;
 }
span.headdate{
               text-decoration: underline;
}

img.latex-inline {
                   display: inline;
                   margin: 1px;
                   float: none;
                   position: relative;
                   vertical-align: middle;
                   border-style: none;
                   }

img.latex-display {
                    display: block;
                    margin: 25px;
                    float: none;
                    left: 15%;
                    position: relative;
                    vertical-align: middle;
                    border-style: none;
                    }
div.navihead{
  text-align: right;
}