[PATCH] css: remove repeated property

[Alexander Plavin]

# HG changeset patch
# User Alexander Plavin <me at aplavin.ru>
# Date 1366461998 -14400
#      Sat Apr 20 16:46:38 2013 +0400
# Branch stable
# Node ID 2c74133e18f1e542160f7d0aca3e05ade12de5b3
# Parent  e96cbb289d1061dd2514a7b620e8e328e2ec703e
css: remove repeated property

'margin' property was repeated for the same selector

diff -r e96cbb289d10 -r 2c74133e18f1 mercurial/templates/static/style-gitweb.css
--- a/mercurial/templates/static/style-gitweb.css	Sat Apr 20 22:09:17 2013 +0400
+++ b/mercurial/templates/static/style-gitweb.css	Sat Apr 20 16:46:38 2013 +0400
@@ -1,4 +1,4 @@
-body { font-family: sans-serif; font-size: 12px; margin:0px; border:solid #d9d8d1; border-width:1px; margin:10px; }
+body { font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px; margin:10px; }
 a { color:#0000cc; }
 a:hover, a:visited, a:active { color:#880000; }
 div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; }
diff -r e96cbb289d10 -r 2c74133e18f1 tests/test-hgweb.t
--- a/tests/test-hgweb.t	Sat Apr 20 22:09:17 2013 +0400
+++ b/tests/test-hgweb.t	Sat Apr 20 16:46:38 2013 +0400
@@ -312,10 +312,10 @@
 
   $ "$TESTDIR/get-with-headers.py" --twice localhost:$HGPORT 'static/style-gitweb.css' - date etag server
   200 Script output follows
-  content-length: 4619
+  content-length: 4607
   content-type: text/css
   
-  body { font-family: sans-serif; font-size: 12px; margin:0px; border:solid #d9d8d1; border-width:1px; margin:10px; }
+  body { font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px; margin:10px; }
   a { color:#0000cc; }
   a:hover, a:visited, a:active { color:#880000; }
   div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; }