cgit.c: allow repo.*-filter options to unset the current default

[ps-cgit] / cgit-doc.css

div.variablelist dt {
        margin-top: 1em;
}