Merge branch 'master' into next

diff --git a/gitweb/gitweb.css b/gitweb/gitweb.css
index ac6a3c774d6c905a78c6da7132e4aab31d7d6923..98410f5b6c971efcc59ac69514936b02fbe68d17 100644 (file)
--- a/gitweb/gitweb.css
+++ b/gitweb/gitweb.css
@@ -1,7 +1,7 @@
 body {
        font-family: sans-serif;
        font-size: 12px;
-       border:solid #d9d8d1;
+       border: solid #d9d8d1;
        border-width: 1px;
        margin: 10px;
        background-color: #ffffff;
@@ -33,7 +33,7 @@ div.page_header a:hover {
 }
 
 div.page_nav {
-       padding:8px;
+       padding: 8px;
 }
 
 div.page_nav a:visited {