@import "/common.css";

h1, h2, h3, h4, h5, h6 {
  color: #696;
  }

pre { 
  background-color: #ada;
  border: 1px solid #060;
  margin: 1.25em 0 0;
  padding: 5px;
  }

code, kbd { 
  font: 1em free-mono, courier-new, monospace;
  font-weight: 600;
  }

#banner h1,
#banner p {
  border-bottom-color: #060;
  }

#banner h1 a,
#banner p a {
  color: #060;
  }

ul#globalnav {
  border-bottom-color: #696;
  }

#globalnav a {
  color: #696;
  }


#globalnav a:hover {
  background-color: white;
  color: #040;
  }

#toc h3 a { 
  color: #696;
  }

#content {
  border-left-color: #696;
  }

#demo #content { 
  border-left: none;
  border-right: 1px solid #696;
  float: left;
  padding: 1px 2% 1.25em 0;
  width: 64%;
  }

#abstract,
#notes { 
  border-color: #696;
  }

#toc {
  border-right-color: #696;
  }

#sidebar {
  border-left: 1px solid #696;
  margin-left: 66%;
  padding: 1px 0 0 2%;
  }

#sidebar p+p {
  margin-top: 1.25em;
  text-align: center;
  text-indent: 0;
  }

* html #sidebar {
  height: 1px;
  border-left: none;
  }

* html #sidebar .ads {
  text-align: center;
  }

#sidebar h2 {
  font-size: 1.25em;
  line-height: 2;
  margin: 1em 0 0;
  text-align: center;
  }