div.pagination {
  font-family:Verdana;
  font-size:  8pt;
  margin:     3px;
  padding:    3px;
  text-decoration:none
}

div.pagination a {
  border:        1px solid #000000;
  color:         #000000;
  font-family:   Verdana;
  font-size:     8pt;
  margin:        2px;
  padding-bottom:2px
  padding-left:  5px;
  padding-right: 5px;
  padding-top:   2px;
  text-decoration: none; /* no underline */
}

div.pagination a:hover, div.pagination a:active {
  background-color: #800000;
  border:           1px solid #800000;
  color:            #FFFFFF;
  font-family:      Verdana;
  font-size:        8pt;
  margin:           2px;
  padding-bottom:   2px;
  padding-left:     5px;
  padding-right:    5px;
  padding-top:      2px;
  text-decoration:  none
}

div.pagination span.current {
  background-color: #000000;
  border:           1px solid #000000;
  color:            #FFFFFF;
  font-family:      Verdana;
  font-size:        8pt;
  font-weight:      bold;
  margin:           2px;
  padding-bottom:   2px
  padding-left:     5px;
  padding-right:    5px;
  padding-top:      2px;
}

div.pagination span.disabled {
  border:         1px solid #999999;
  color:          #999999;
  font-family:    Verdana;
  font-size:      8pt;
  margin:         2px;
  padding-bottom: 2px
  padding-left:   5px;
  padding-right:  5px;
  padding-top:    2px;
}
    
a:hover.list {
  color:           #006699;
  font-family:     Verdana;
  font-size:       8pt;
  font-variant:    small-caps; 
  font-weight:     bold
  line-height:     200%;
  text-decoration: underline;
  text-transform:  capitalize; 
}

a.list {
	color:           #FF0000;
	font-family:     Verdana; 
    font-size:       8pt;
	font-variant:    small-caps;
	font-weight:     bold
    line-height:     200%;
	text-decoration: underline; 
	text-transform:  capitalize;
}