/* Header logo above navigation */
.header-logo-container {
  display: flex;
  justify-content: center;
  align-items: center;
  padding: 15px 20px;
  background-color: #fff;
  border-bottom: 1px solid #e0e0e0;
}

.header-logo {
  max-width: 90px;
  height: auto;
  display: block;
}

/* GitHub link in main header area (far right, above logo and TOC) */
.header-github-link {
  position: fixed;
  top: 80px;
  right: 20px;
  z-index: 1000;
}

.header-github-link a {
  display: flex;
  align-items: center;
  justify-content: center;
  width: 40px;
  height: 40px;
  color: #333;
  font-size: 24px;
  text-decoration: none;
  transition: color 0.2s ease;
  background-color: rgba(255, 255, 255, 0.9);
  border-radius: 50%;
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

.header-github-link a:hover {
  color: #000;
  background-color: rgba(255, 255, 255, 1);
  box-shadow: 0 2px 8px rgba(0, 0, 0, 0.15);
}

.header-github-link a i {
  font-size: 20px;
}

/* Adjust spacing to account for logo above navbar */
header nav.navbar {
  margin-top: 0;
}