Use local stagit build.

diff --git a/repo-gen.sh b/repo-gen.sh
index ad685927a093d6f5d2eb2fccea5fc1ed7aca64b9..f74e02f0b416ef2e41a7b024ca9e698eb53c2d01 100755 (executable)
--- a/repo-gen.sh
+++ b/repo-gen.sh
@@ -6,22 +6,28 @@ for arg in "$@"; do
        [ "$arg" = "--fresh" ] && fresh=true
 done
 
+STAGIT=/var/www/git/stagit
+[ ! -f "$STAGIT" ] && STAGIT=stagit
+
+STAGIT_INDEX=/var/www/git/stagit-index
+[ ! -f "$STAGIT_INDEX" ] && STAGIT_INDEX=stagit-index
+
 for repo in /srv/git/*.git; do
        repo="$(basename "$repo" | cut -f 1 -d '.')"
-       
+
        [ "$fresh" = true ] \
                && echo "Deleting HTML for $repo." \
                && rm -fr "/var/www/git/$repo"
        mkdir -p "/var/www/git/$repo"
        cd "/var/www/git/$repo"
-       
+
        [ ! -f style.css ]   && ln -s ../style.css ./
        [ ! -f favicon.png ] && ln -s ../favicon.png ./
        [ ! -f logo.png ]    && ln -s ../logo.png ./
 
        echo "git://git.knutsen.co/$repo" > "/srv/git/$repo.git/url"
 
-       stagit "/srv/git/$repo.git"
+       "$STAGIT" "/srv/git/$repo.git"
 done
 
-stagit-index /srv/git/*.git > /var/www/git/index.html
+"$STAGIT_INDEX" /srv/git/*.git > /var/www/git/index.html

diff --git a/style.css b/style.css
index d1cd6d36346e22f52419233c2312f75028e2c5c1..04f07a7243b9fa3e7739765d329bcd743e58825b 100644 (file)
--- a/style.css
+++ b/style.css
@@ -1,7 +1,14 @@
+html {
+       font-size: 12px;
+       height: 100%;
+}
+
 body {
-       color: #000;
+       margin: 5rem auto;
+       color: #222;
        background-color: #fff;
        font-family: monospace;
+       width: 66rem;
 }
 
 h1, h2, h3, h4, h5, h6 {
@@ -28,6 +35,14 @@ a.line {
        text-decoration: none;
 }
 
+.loc {
+       margin-left: 0.9em;
+}
+
+.line {
+       user-select: none;
+}
+
 #blob a {
        color: #777;
 }
@@ -104,3 +119,19 @@ pre a.i:hover,
 pre a.d:hover {
        text-decoration: none;
 }
+
+.url td:nth-child(2) {
+       padding-top:    0.2em;
+       padding-bottom: 0.9em;
+}
+
+.url td:nth-child(2) span {
+       padding: 1px 5px 2px 5px;
+       background-color: #eee;
+       border: 1px solid #ddd;
+       border-radius: 5px;
+}
+
+.url td:nth-child(2) span a {
+       color: #444;
+}