body {
font-family:"Trebuchet MS", Arial, Verdana;
  font-size: 1.0em;
  background: url(top_black.jpg) no-repeat top left ;
  color: #333333;
}

#page {
  text-align: left;
  width: 900px;
  padding-right: 100px;
  background: url(top_automn.jpg) repeat-y top right ;
}

a:link {
  text-decoration: none ;
  color: #0080c0;
}

a:visited {
  text-decoration: none ;
  color: #005080 ;
}

p {
  margin-top: 16px;
  margin-bottom: 4px;
}

p.warning {
  border: 2px solid #c15555 ;
  padding: 4px;
  color: #c15555 ;
  font-weight: bold;
}

p.center {er-
  width: 100%;
  text-align: center ;
}

div.command-line pre {
  font-family: courier ;
  font-weight: bold ;
  margin-top: 6px;
  margin-bottom: 2px ;
  margin-left: 0.5em;
  /*color: #4a83ce ;*/
  /*font-size: 11pt;*/
  font-size : smaller ;
  padding: 2px ;
  padding-left: 0.5em;
  border-width: 0 0 0 2px;
  border-style: solid ;
  border-color: #aaaaaa ;
  background-color: Black;
  color: #aaaaaa ;
 }

pre.ml {
  font-size: 8pt;
  font-family: courier;
  border-style: solid;
  border-width: 0px 0px 0px 2px;
  border-color: #aaaaaa;
  margin-left: 1em ;
  padding-left: 1em;
  }

div.code pre {
  padding: 2px;
  font-size: 10pt;
  border: 1px solid #000000 ;
  font-weight: normal ;
  background-color: #DDDDFF ;
}

ul { margin-top: 2px; }

a:hover, a:active {
  text-decoration: none ;
  color: #22DD22 ;
  background-color: transparent;
}

div#sidebar {
        margin-top:  45px;
        left: 0px;
        width: 165px;
        position: absolute;
}

div#sidebar img { margin-right: 2px; }

div#sidebar ul { padding-left: 1em; }

div#sidebar p { padding-left: 1em;}

div#page-title {
  padding-top: 10px;
  font-size: 200%;
  color: #6688FF;
  text-align: center ;
  width: 100% ;
}

div#content {
  margin: 0px;
}

div#content-with-sidebar {
  padding-left: 180px;
  margin: 0px;
}

div.navig p { display: inline; padding-left: 1.5em; }
div.navig { color: #777777; display: inline ; padding-right: 1em; vertical-align: top; }



div#page-header {
  font-size: smaller ;
  position: relative /* absolute */;
  top: 0px;
  padding-top: 4px;
  right: 0px;
  text-align: right;
}

div#page-footer {
  background: url(bottom.jpg) no-repeat bottom right;
  font-size: smaller ;
  position: relative;
  bottom: 0px;
  left: 0px;
  padding-top: 10px;
  margin-left: 180px;
  height: 80px;
  text-align: right;
}

div#page-footer p { display: inline ; padding-left: 1.0em; }
div#page-footer p.valid a { display: inline ; padding-left: 2px; }
div#page-footer table tr td.right { text-align: right; }

img { border-width: 0px; }

h2 {
  color: #6688FF ;
}


div.section2 {
  margin-top: 1em ;
  margin-bottom: 1.5em;
}

div.section2-title {
  color: #6688FF;
  font-size: 150%;
  margin-bottom: 5px;
  border-style: solid ;
  border-color: #6688FF;
  border-width: 0px 0px 1px 0px;
  width: 100%;
}

p.pseudosectiontitle {
  color: #6688FF;
  font-size: 150%;
  margin-bottom: 5px;
  border-style: solid ;
  border-color: #6688FF;
  border-width: 0px 0px 1px 0px;
  width: 100%;
}
div#sidebar div.page-toc, div#sidebar div.section2  {
/*        background-color: #FFFFFF;*/
        background-color: transparent;

        color: #555555;
        font-size: small;
        margin-left: 5px;
        padding: 4px;
        border-style: solid ;
        border-width: 1px 2px 2px 1px;
        border-color: #DDDDDD #DDDDDD #DDDDDD #DDDDDD ;
        padding-top: 5px ;
        padding-bottom: 8px;
}


div.section3 {
  margin-bottom: 1.2em;
}
div.section3-title {
  margin-top: 8px;
  color: #6688FF;
  font-size: 110%;
  margin-bottom: -6px;
}





div.section4 {
  margin-top: 4px ;
  margin-bottom: 1em;
}
div.section4-title {
  color: #6688FF;
  font-size: 100%;
  margin-bottom: 0px;
  width: 100%;
}
div.footnote { font-size: smaller ; }

div.linkline {
  margin-top: 5px;
  padding-top: 0px;
  background-color: #EFEFEF;
  width: 100%;
}

span.linkline-item {
  padding-left: 2em;
}

p.remark {
 padding: 3px;
 margin-top: 5px;
 margin-bottom: 5px ;
 border: 1px #0080c0 dashed;
 background-color: #DDDDFF ;
}

p.release { padding-top: 0px; margin-top: 0px; padding-right: 1em;}

p.address {
  margin-top: 0;
  margin-left: 2em;
  margin-right: 2em;
}

div.qa { padding-top : 1em ; }
div.question {
  color: #6688FF;
  font-size: 100%;
  text-decoration: underline;
  margin-bottom: 5px;
  width: 100%;
}

div.answer {
  margin-left: 1em;
  padding-left: 5px;
  border-style: solid ;
  border-width: 0 0 0 2px;
  border-color: #6688FF;
}
div.answer p { margin-top: 8px }

p.quote {
  margin-left: 2em ;
  margin-right: 2em;
  font-style: italic ;
  font-size: smaller ;
}

span.todo {
  font-size: smaller ;
  font-style: italic ;
  color: #DDDDDD ;
}

p.release {
  margin-bottom: 1em;
}

div.paper { padding-top: 5px; padding-bottom: 5px; }
div.paper-authors, div.paper-comments, div.paper-abstract {
  margin-left: 1em;
  border-style: solid;
  border-width: 0 0 0 1px;
  border-color: #999999;
  padding-left: 0.5em;
}
div.paper-title { font-weight: bold; }
div.paper-authors { font-style: italic; }
div.paper-abstract { font-size: smaller ; margin-top: 4px;}
div.publications {}

div.paper-reference { margin-top: 6px ; margin-left: 1em; }
span.paper-ref-title { font-weight: bold; }
span.paper-ref-authors { font-style: italic; }
div.paper-ref-comments { padding-left: 1em; }

div.references { font-size: smaller; }

div.talk { padding-top: 5px; padding-bottom: 5px; }
div.talk-title, div.talk-authors, div.talk-comments, div.talk-abstract {
  margin-left: 1em;
  border-style: solid;
  border-width: 0 0 0 1px;
  border-color: #999999;
  padding-left: 0.5em;
}
div.talk-title { font-weight: bold; }
div.talk-date { font-style: italic; }
div.talk-abstract { font-size: smaller ; margin-top: 4px;}


/* RSS FEED */
div#rssfeed { margin-left: -3em; width: 500px; }
ul.RVHFEED {
}
ul.RVHFEED_class li {
  list-style-type: none;
  padding-left: 0;
  padding-bottom: 0.8em;
}

ul.RVHFEED_class sub {
  float: left ;
  font-weight: bold;
  padding-right: 0.5em;
}

ul.RVHFEED_class a {

}

ul.RVHFEED_class li div {
  margin-left: 2.5em;
  font-style: italic ;
}

p.tiny { color: #ACACAC ; text-align: right ; font-size: 50%; }


/* FOR PRINTERS */
@media print {
body { font-size: 11pt; }
div#sidebar { display: none ; }
div#content-with-sidebar { padding-left: 2px; }


}