gitweb: Make use of $PATH_INFO for project parameter

[Gitweb] / gitweb.css

diff --git a/gitweb.css b/gitweb.css
index d22769b8aaa80694e45f166bf1eb79abce3fdcfd4a10d252938c3707de1e79e3..39ffb9a22b8fcec2b582f4296ca4f6abfcc179fcc9edbd4977ee4ac1eadf57d2 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -1,7 +1,7 @@
 body {
        font-family: sans-serif;
        font-size: 12px;
 body {
        font-family: sans-serif;
        font-size: 12px;

-       border:solid #d9d8d1;
+       border: solid #d9d8d1;

        border-width: 1px;
        margin: 10px;
        background-color: #ffffff;
        border-width: 1px;
        margin: 10px;
        background-color: #ffffff;


@@ -33,7 +33,7 @@ div.page_header a:hover {
 }
 
 div.page_nav {
 }
 
 div.page_nav {

-       padding:8px;
+       padding: 8px;

 }
 
 div.page_nav a:visited {
 }
 
 div.page_nav a:visited {