[RFC/PATCH 0/8] user-manual: style improvements

This patch series tries to improve the style of the user-manual.

For a quick preview check: http://people.freedesktop.org/~felipec/git/user-manual.html

Some changes are non-controversial, like s/git-foo/git foo/ while the font style changes might be.

There's one huge patch for quoting improvements, which requires the css style patch in order to look good. It probably needs to be split, but for now this is RFC.

Felipe Contreras (8):
  user-manual: remove some git-foo usage
  docbook: improve css style
  docbook: radical style change
  user-manual: general quoting improvements
  user-manual: use 'fast-forward' instead of 'fast forward'
  user-manual: use SHA-1 instead of SHA1 or sha1
  user-manual: add global config section
  user-manual: simplify the user configuration

 Documentation/docbook-xsl.css |   17 +-
 Documentation/user-manual.txt | 1038 +++++++++++++++++++++--------------------
 2 files changed, 549 insertions(+), 506 deletions(-)