.button,a.button
{
  display: inline;
  border: 1px solid #6699CC;
  font-family: sans-serif;
  font-size: 8pt;
  font-weight: bold;
  text-transform: uppercase;
  text-decoration: none;
  margin: 0px;
  margin-right: 5px;
  background-color: #6699CC;
  color: #fff;
  padding:1px 3px;
  text-align:center;
  cursor: pointer;
}
.button:hover {
  background-color: #AEC9E4;
  color: #fff;
  text-decoration: none;
}
.button_highlight {
  display: inline;
  border : 2px solid #6699CC;
  font-size : 8pt;
  font-weight : bold;
  text-transform : uppercase;
  text-decoration : none;
  margin: 0px;
  margin-right: 5px;
  background-color : #AEC9E4;
  color : #fff;
  padding:1px 3px;
  text-align:center;
}
.button_disabled {
display: inline;
border : 2px solid #fff;
font-size : 8pt;
font-weight : bold;
text-transform : uppercase;
text-decoration : none;
margin: 0px;
margin-right: 5px;
background-color : gray; /*#76855A;*/
color : #fff;
padding:1px 3px;
text-align:center;
}
a.pager_button, div.pager_button {
display: inline;
font-size : 8pt;
font-weight : bold;
text-transform : uppercase;
text-decoration : none;
margin: 0px;
margin-right: 5px;
color : #6699CC;
padding:1px 3px;
text-align:center;
}
a.pager_button:hover {
color : #6699CC;
text-decoration : underline;
}
a.pager_button_highlight, div.pager_button_highlight {
display: inline;
background-color: #AEC9E4;
border : 2px solid #6699CC;
font-size : 8pt;
font-weight : bold;
text-transform : uppercase;
text-decoration : none;
margin: 0px;
margin-right: 5px;
color : #fff;
padding:1px 3px;
text-align:center;
}
a.pager_button_disabled, div.pager_button_disabled {
display: inline;
font-size : 8pt;
font-weight : bold;
text-transform : uppercase;
text-decoration : none;
margin: 0px;
margin-right: 5px;
color : gray;
padding:1px 3px;
text-align:center;
}
.buttons {
display: inline;
padding: 0px;
padding-bottom: 3px;
margin: 0px;
margin-right: 10px;
border: none;
}