/* version number next to the package name: readable on the dark navbar */
.navbar .nav-text.text-muted, .navbar small.text-muted { color: #c9d6e0 !important; }