css: remove repeated property stable

css: remove repeated property

'margin' property was repeated for the same selector

--- 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; }

--- 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; }