*
{
	font-family: Helvetica;
}
pre
{
	font-family: Courier;
}
.labels 
{
   color: black;
   background-color: #60CDFF;
   font-family: "Lucida Grande", "Arial", sans-serif;
   font-size: 10px;
   font-weight: bold;
   text-align: center;
   width: 60px;     
   border: 2px solid black;
   white-space: nowrap;
}
.overlay
{
  position: absolute;
  z-index: 1;
  top: 10px;
  right: 5em;
}
.invisible
{
  color: white;
}
.big
{
  font-size: 3.0em;
}
div.head
{
	padding-left: 2em;
}
table.login
{
	padding-left: 2em;
}
.dropdown-notification {
   height: 40px;
   line-height: 40px;
   position: relative;
   top: -40px;
   transition: top .2s; // don't forget to use prefixes
}
.dropdown-notification.active {
   top: 0;
}
.cookie-banner {
	line-height: 40px;
	padding-left: 20px;
	background-color: #8ED7AE;
}