/*  Style sheet for Documents */

body{background-color:#FFFFFF; line-height:1.2em;}
body.spring{background-color:#DDFFBB; line-height:1.2em;}
body.summer{background-color:#DDFFFF; line-height:1.2em;}
body.autumn{background-color:#FFFFCC; line-height:1.2em;}
body.winter{background-color:#FFDDFF; line-height:1.2em;}

a:link{color:blue;}
a:active{color:fuchsia;}
a:visited{color:teal;}

div.update{text-align:right;}
div.copyright{text-align:right; font-style:italic;}

div.center{text-align:center;}

div.contents{
  margin: 0.4em 0.8em 0.2em 0.2em;
  width: 12em;
  border-style:outset;
  border-width: 0.1em 0.2em 0.2em 0.1em;
  border-color:navy;
  padding: 0.4em 0.0em 0.4em 0.0em;
  background-color:#FFCC66;
  text-align: center;
  font-style:italic;
}

div.contents a{display: block;}
div.contents a:link{color:navy; text-decoration: none;}
div.contents a:active{color:navy; text-decoration: none;}
div.contents a:visited{color:teal; text-decoration: none;}
div.contents a:hover{color:navy; text-decoration: none;}



h1{font-size:1.5em; font-style:italic; text-align:center;
   margin:0.5em 0em 1.5em; color:navy;}
h2{font-size:1.4em; font-style:italic; text-align:left;
   margin:1.0em 0em 1.0em;}
h3{font-size:1.1em;}
h4{font-size:1.0em;
   margin:0.5em 0.2em 0.5em;}

p{margin:1em 0.4em;}
p.center{text-align:center;}
p.right{text-align:right;}
p.quote{margin:1em 4em;}

pre{margin:0.2em 0.4em;}

hr{width:85%;}
hr.full{width:100%;}

.clear{clear:both;}

.quote{margin:1em 2.0em;}

.code{margin:1.5em 2.0em 2.0em;
      background-color:#DDFFBB;
      color:Maroon; font-size:1.0em; text-align:left;}

.comment{color:Maroon; font-size:0.9em;}

div.figure{margin:0.5em 0.8em 0.5em; float:right;
           color:Maroon; font-size:0.9em; text-align:center;}
div.tabfig{margin:0.2em 0.5em 0.3em;
           color:Maroon; font-size:0.9em; text-align:center;}

li{margin:0.1em 0.0em 0.15em;}

li.index{margin:0.4em 0.0em 0.4em;}

em{font-weight:bold; font-style:normal;}

.blue{color:blue;}
.red{color:red;}
.green{color:green;}

address{font-style:italic; text-align:left;
        margin:1.5em 0.5em 0.5em;}