.sidenav dt a,
.back-top a {
  background: url(images/nav-button.png) center no-repeat;
  text-decoration: none;
  font-weight: bold;
  line-height: 120%;
  list-style: none;
  min-height: 1%;
}
.sidenav dt a {
  display: block; 
  font-size: 10px;
  padding-top: 8px;
  padding-bottom: 20px;
  padding-right: 4px;
  margin-right: 40px;
  margin-left: 15px;
}
.back-top a {
  font-size: 12px;
  padding: 8px 45px 20px 35px;
}
.back-top {
  text-align: center;
  margin: 40px;
}

a.navbar {
  border: 3px solid;/*  Always define the  border BEFORE defining the border colour  */
  padding: 6px;
/*  margin-top: 0; margin-top doesn't work with an inline element!!!  */
  margin-right: 1px;
	line-height: 300%;
}
div.centered {
  margin: 24px 0 24px 0;/* Now we got our navbar margins! */
}

a.navbar, a.core, a.centre-core {
  font-weight: bold;
  text-align: center;
  text-decoration: none;
}

a.centre-core {
  border: 1px solid;
  padding: 2px;
	line-height: 240%;
  font-size: 8px;
}

a.core:link, a.core:visited { 
	color: #fff; /* normal side navbar text colour */
}
a.core:hover {
	color: #fce;
	background-color: #fce;
}

.centre-core, .navbar { 
	background-color: #fde;
}
a.centre-core:link, a.navbar:link, a.centre-core:visited, a.navbar:visited { 
	color: #645;
	border-color: white #a89 #a89 white;
}
.centre-core {
  border-color: #aa8;
}
a.navbar:hover, a.centre-core:hover { 
	color: black; 
	background-color: white; 
	border-color: white black black white;
}