.topmenu {

#  background: #DDD;
#  background: linear-gradient(90deg, rgba(221, 221, 221, 1) 0%, rgba(136, 136, 136, 1) 100%);

  width: 100%;
  padding: 10px;
}

.topmenuitem {
  font-size: large;
  padding-right: 10px;
}

.highlighted  {
 font-weight: bold;
}