/* W3.CSS 4.10 February 2018 by Jan Egil and Borge Refsnes */

.w3-opacity,.w3-hover-opacity:hover{opacity:0.60}.w3-opacity-off,.w3-hover-opacity-off:hover{opacity:1}
.w3-opacity-max{opacity:0.25}.w3-opacity-min{opacity:0.75}

.w3-section,.w3-code{margin-top:16px!important;margin-bottom:16px!important}

div.scrollmenu {
/*  background-color: #333; */
  overflow: hidden;
  white-space: nowrap;
  margin-top: 5px;
}

div.scrollmenu a {
  display: inline-block;
  color: white;
  text-align: center;
  padding: 14px;
  text-decoration: none;
}

div.scrollmenu a:hover {
  background-color: #777;
}