html{
/*      background: #ECF3F6;  */
        background: blue;
}

body{
	background: blue;
/*      color: yellow;   */
	padding:1%
}

.pagetitle {
    color: yellow;
    font: bold 20px Arial;
}

h3  {
        color: yellow;
        font: bold 12px Arial;
        font-family: Arial, Helvetica, sans-serif;
}

.menuinfo {
        color: grey;
        font: bold 12px Arial;
        font-family: Arial, Helvetica, sans-serif;
}

/* Dropdown Button */
.dropbtn {
/*  background-color: #4CAF50; */
  background-color: rgba(75,192,192,1.0);
  color: white;
  padding: 16px;
  font-size: 16px;
  border: 2px solid rgba(75,192,192,1.0);
  border-radius: 5px;
/*  border: none; */
}

/* The container <div> - needed to position the dropdown content */
.dropdown {
  position: relative;
  display: inline-block;
}

/* Dropdown Content (Hidden by Default) */
.dropdown-content {
  display: none;
  position: absolute;
  background-color: #f1f1f1;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

/* Links inside the dropdown */
.dropdown-content a {
  color: black;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
}

/* Change color of dropdown links on hover */
.dropdown-content a:hover {background-color: #ddd;}

/* Show the dropdown menu on hover */
.dropdown:hover .dropdown-content {display: block;}

/* Change the background color of the dropdown button when the dropdown content is shown */
.dropdown:hover .dropbtn {background-color: #3e8e41;}

.button {
	font: bold 15px Arial;
	text-decoration: none;
	background-color: #EEEEEE;
	color: #333333;
	padding: 2px 6px 2px 6px;
	border-top: 1px solid #CCCCCC;
	border-right: 1px solid #333333;
	border-bottom: 1px solid #333333;
	border-left: 1px solid #CCCCCC;
}