div.tabs {
  padding-left: 3em;
  text-align: left;
}

div.tabs a {
  border-style: none solid solid solid;
  border-width: 1px;
  border-color: #0073a8;
  text-decoration: none;
  font-style: normal;
  color: black;
  margin-left: 0.5ex;
  margin-right: 0.5ex;
  padding-left: 1em;
  padding-right: 1em;
}

div.tabs a.usual {
}

div.tabs a.current {
  background-color: #a9c1cc;
}

div.tabs a:hover {
  background-color: #a9c1cc;
}