/*  Style sheet for Documents */


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;}

h1{font-size:1.5em; text-align:center;
   margin:1.0em 0em 1.5em; color:navy;}

h2{font-size:1.3em; font-style:italic; text-align:left;
   margin:0.3em 0.5em 0.5em;}

h3{font-size:1.1em;}

h4{font-size:1.0em;}


h1.pre{font-size:1.3em; font-style:italic; text-align:center;
   margin:1.0em 0em 0.5em; color:navy;}

h1.main{font-size:1.3em; font-style:italic; text-align:center;
   margin:0.0em 0em 1.5em; color:navy;}


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

pre{margin:0.2em 0.4em;}

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

.clear{clear:both;}

.quote{margin:1em 2.0em;}

.quote_box{margin:0.0em 3.5em;
      padding: 0.1em 0.8em;}


.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;}

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

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

.red2{color:red; font-weight:bold; }

.bglime{background-color:Lime;}

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