less: cleanup nav-pills menu style used in settings - remove obsolete padding for li - remove style for 'li > a' that is aready set by bootstrap via .nav-pills - use usual color: inherit only for non active elements - override nav-pills-active-link-hover-color and nav-pills-active-link-hover-bg instead custom style

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