/* CSS Document */

div#main {
  background: #fff;
  width: 950px;
  height: 545px;
  border: 2px solid black;
  text-align: left;
}
  div#banner{
    background:  url(../images/bannerbg3.gif);
	background-repeat: repeat-x;
	height: 73px;
  }
#title {
  margin-top: 6px;
  margin-left: 20px;
}
div#links{
  margin-top: -31px;
}
div#linkbar{
  background: #576065;
  height: 25px;
  margin-top: -2px;
}
#tab {
  margin-right: -5px;
}
div#patent {
  color: #fff;
  width: 950px;
  font-size: 9px;
  margin-top: 5px;
}
div#javascript {
  color: #fff;
  width: 950px;
  font-size: 9px;
  font-weight: bold;
  margin-top: 5px;
}
a.javascriptlink {
  color: #fff;
  font-size: 9px;
  font-weight: bold;
  text-decoration: underline;
}
a:hover.javascriptlink {
  color: #fff;
  font-size: 9px;
  font-weight: bold;
  text-decoration: underline;
}

.marginleft {
  margin-left: 10px;
}

.bold {
  font-weight: bold;
}

.underline {
  text-decoration: underline;
}