/* COLORS
#000    - Black
#BBB    - Lighter grey */

nav.references {
  padding: 10px;
  line-height: 150%;
  font-size: 150%;
  background: #DDD;
}

nav.references a {text-decoration: none;}

nav.references a:hover {font-weight: bold;}