.nav_elements {
  font-size:40pt;
  font-style:bold;
  cursor:pointer;
}

.auto_button_class {
  background-color:#e0ffe0;
  padding:4px;
  font-size:11pt;
  border:1px solid gray;
  cursor:pointer;
  border-radius: 4px;
}