/* Sticky nav bar */
nav {
  position: sticky;
  top: 0;
  z-index: 1000;
  margin-bottom: 20px;
  background: #fff;       /* optional: give nav a background so it doesn't look transparent */
  padding: 8px 12px;      /* optional: padding inside the bar */
}

/* All links site-wide styled as buttons */
a {
  display: inline-block;
  text-decoration: none;
  color: #fff;
  background-color: #007bff;
  padding: 10px 20px;
  border-radius: 4px;
  font-weight: bold;
  margin-right: 8px;   /* small gap between links */
  margin-top: 8px;
}

/* Hover effect */
a:hover {
  background-color: #0056b3;
}

button {
  display: inline-block;
  text-decoration: none;
  color: #fff;
  background-color: #007bff;
  padding: 10px 20px;
  border-radius: 4px;
  font-weight: bold;
  margin-right: 8px;
  margin-top: 3px;
  border: 1px solid #fff;
  cursor: pointer;
}

button:hover {
  background-color: #0056b3;
}