style: fix the CSS selector referring to the notification box The notification box is shown by a CSS rule with this selector: .dropdown.open .dropdown-menu However, since 8bd7a63, the selector :nav.navbar #quick li #quick_login" no longer refers to the same element. To make the notification box work correctly, refer to it using its class name, .dropdown-menu.

#!/bin/sh

# Convenience script for running various idempotent source code cleanup scripts

set -e
set -x

scripts/docs-headings.py
scripts/generate-ini.py
scripts/whitespacecleanup.sh