@import "/common.css";

/*
#wrapper { 
  background-color: #fff;
  color: #333;
  }

#banner h1,
#banner p {
  border-bottom: 1px solid #080;
  }

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


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

#toc h3 { 
  color: #333;
  }
*/