#lib{
  margin: 0px;
  padding: 0px;
}
p.lib_name{
  float: left;
  margin: 3px;
  padding: 0px;
  font-size: small;
  font-weight: bold;
  font-family: sans-serif;
  text-align: left;
}
ul.lib_link{
  float: right;
  margin: 0px;
  padding: 0px 20px;
}
li.lib_link{
  margin: 1px;
  padding: 3px 10px 3px 0px;
  font-size: small;
  font-weight: bold;
  font-family: sans-serif;
  display: inline;
}
.copyright{
  margin-right: 1em;
  text-align: left;
  font-size: small;
  font-weight: normal;
}