/* Branding – Primärfarbe hier ändern */
:root {
  --bs-primary: #1bc347;
  --bs-primary-rgb: 27, 195, 71;
  --bs-link-color: #1bc347;
  --bs-link-color-rgb: 27, 195, 71;
  --bs-link-hover-color: #17a93d;
  --bs-link-hover-color-rgb: 23, 169, 61;
}

.navbar { border-bottom: 2px solid #1bc347; }
.navbar-brand img { height: 32px; width: auto; }
a { color: #1bc347; }
a:hover { color: #17a93d; }
.nav-link.active, .nav-link:hover { color: #1bc347 !important; }
.toc .nav-link.active { color: #1bc347 !important; border-left-color: #1bc347; }
.btn-primary { background-color: #1bc347; border-color: #1bc347; }
.btn-primary:hover { background-color: #17a93d; border-color: #17a93d; }
.form-control:focus { border-color: #1bc347; box-shadow: 0 0 0 0.25rem rgba(27, 195, 71, 0.25); }
.badge.bg-primary, .alert-primary { background-color: #1bc347 !important; }
.footer { border-top: 2px solid #1bc347; }