less: set menu colors - navbar and dropdown hover and active color This is especially important in navbar when @kallithea-theme-inverse-color isn't white. To try to keep the contrast and make it more visible what is highlighted, give it 15% tint like the background. The same colors are used for selected items in dropdown menus.

#!/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