Convert pager navigation into a unordered list

[cgit.git] / cgit.css

diff --git a/cgit.css b/cgit.css
index 37872e508562cb0231e8324ec91cb24b55679528..a50d62b01d05c54e268f1c40e51ba8449818132d 100644 (file)
--- a/cgit.css
+++ b/cgit.css
@@ -1,9 +1,6 @@
-body, div#cgit table, div#cgit form {
+div#cgit {
        padding: 0em;
        margin: 0em;
-}
-
-body {
        font-family: sans-serif;
        font-size: 10pt;
        color: #333;
@@ -31,6 +28,7 @@ div#cgit table#header {
 
 div#cgit table#header td.logo {
        width: 96px;
+       vertical-align: top;
 }
 
 div#cgit table#header td.main {
@@ -540,14 +538,24 @@ div#cgit table.list td.sublevel-repo {
        padding-left: 1.5em;
 }
 
-div#cgit div.pager {
+div#cgit ul.pager {
+       list-style-type: none;
        text-align: center;
        margin: 1em 0em 0em 0em;
+       padding: 0;
 }
 
-div#cgit div.pager a {
+div#cgit ul.pager li {
+       display: inline-block;
+       margin: 0.25em 0.5em;
+}
+
+div#cgit ul.pager a {
        color: #777;
-       margin: 0em 0.5em;
+}
+
+div#cgit ul.pager .current {
+       font-weight: bold;
 }
 
 div#cgit span.age-mins {
@@ -581,24 +589,28 @@ div#cgit div.footer {
        color: #ccc;
 }
 div#cgit a.branch-deco {
+       color: #000;
        margin: 0px 0.5em;
        padding: 0px 0.25em;
        background-color: #88ff88;
        border: solid 1px #007700;
 }
 div#cgit a.tag-deco {
+       color: #000;
        margin: 0px 0.5em;
        padding: 0px 0.25em;
        background-color: #ffff88;
        border: solid 1px #777700;
 }
 div#cgit a.remote-deco {
+       color: #000;
        margin: 0px 0.5em;
        padding: 0px 0.25em;
        background-color: #ccccff;
        border: solid 1px #000077;
 }
 div#cgit a.deco {
+       color: #000;
        margin: 0px 0.5em;
        padding: 0px 0.25em;
        background-color: #ff8888;