/* Website CSS */
body{ margin-top: 0px;
  padding-top: 3px;
  margin-left: 3px;
  padding-left: 0px;
  margin-right: 0px;
  padding-right: 3px;
  background-color: #FFFFFF;
  font-family: arial, helvetica, sans-serif;
}

.navhead{ 
  background-color: #4080FF;
  margin-left: 0px;
  margin-right:0px;
  padding-left:10px;
  padding-right:0px;
  font-weight:bold;
}

.navhead hr{ 
  position: relative;
  left:-10px;
 }

.navhead a{ 
  text-decoration:none; 
  color: #ffffff;
}

.navhead a:hover {
  color : #ffffff ;
  background-repeat:repeat;
  text-decoration :underline overline;
}

.navfoot{ 
  margin-left:0px;
  margin-right:0px;
  font-weight:bold;
}


div.header { margin-top: 20px;
             padding-top: 10px;
             background-color: #4080FF;
	     font-family: arial, helvetica, sans-serif;
           }

div.header
h1           { padding-top: 0px;
               margin-top: 0px;
               padding-bottom: 0px;
               margin-bottom: 0px;
	       font-size: 24pt;
	       font-family: Arial, sans-serif;
	       color: white;
             }

div.header
h1
span.site    { 
               font-size: 12pt;
             }

div.header
div.tagline  { 
               position: absolute;
	       color: #F2F3F5;
	       font-family: serif;
               top: 35px;
	       right: 10px;
               font-style: italic;
	       margin-right: 30px;
	       text-align: right;
 	     }

div.article { padding-left: 10px;
              padding-right: 140px;
            }

span.subscribe { font-size: 10px;
              }

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

div.adsense { margin-top: 4px;
              text-align: right;
	      height: 0px;
            }
div.footer  { text-align: center;
              position: absolute;
              visibility: visible;
	      color: #AAAAAA;
	      border-top: solid #AAAAAA 1pt;
	      padding-top: 4px;
	      font-size: 8pt;
            }

div.admonition { border: solid 1px #AAAAAA;
                 margin-left: 20px;
                 margin-right: 20px;
		 padding-left: 5px;
		 padding-right: 5px;
               }

div.admonition
div.admon-title { font-weight: bold;
                }