Documentation/user-manual.txt: fix a few omissions of gitlink commands.

diff --git a/gitweb/gitweb.css b/gitweb/gitweb.css
index b57c8beccb50a94f910cd3bf48ae1c57cf6c1bb8..9f0822fab3d10fd5a83234f761847d7818c6da0a 100644 (file)
--- a/gitweb/gitweb.css
+++ b/gitweb/gitweb.css
@@ -1,5 +1,6 @@
 body {
        font-family: sans-serif;
+       font-size: small;
        border: solid #d9d8d1;
        border-width: 1px;
        margin: 10px;
@@ -483,3 +484,7 @@ span.atnight {
 span.match {
        color: #e00000;
 }
+
+div.binary {
+       font-style: italic;
+}