dot/gitconfig.in: Add explicit `pull' setting.
[profile] / css /
2019-01-23 Mark Woodingcss/*: Add some HTML style hacks I use in a few places.