dot/gitconfig.in: Push the current branch only by default.
[profile] / css /
2019-01-23 Mark Woodingcss/*: Add some HTML style hacks I use in a few places.