div.navigation
{
  border: thin solid black;
  float: right;
  background-color: lightgray;
  margin-left: 2ex;
  margin-bottom: 2ex;
}

.mid
{
  text-align: center;
}