[Monotone-commits-diffs] net.venge.monotone: 2a114436ed3d76c16b2a73b2172c587d98bca464

[code]

revision:            2a114436ed3d76c16b2a73b2172c587d98bca464
date:                2010-11-09T23:39:39
author:              address@hidden
branch:              net.venge.monotone
changelog:
* texinfo.css: make the navigation a little smaller to match
the font size used elsewhere (13px)
* make the navigation icons two pixels smaller so their borders
are not cut

manifest:
format_version "1"

new_manifest [658e7ee569e9ce7da7be16bb3b9d01163b909adc]

old_revision [a6d134e17f13f5ba986a18558e01537760ef7233]

patch "images/go-next.png"
 from [4074aff631d38bbcfa777336665ca44bf8e32e38]
   to [a2259a8a7894701619a252fafc5ef0b402d24989]

patch "images/go-previous.png"
 from [1bf0d01acb74d38306698d661b7bc737584309e0]
   to [ec25efe9dd66546968e3a465441635ec147cfcde]

patch "images/go-up.png"
 from [ed3a6357e68e3885ccf33c72bbc4bed5040e5815]
   to [8f2eadff792b286a676971f45889f6badd437077]

patch "texinfo.css"
 from [165cba0777b56f8bfdd8a89a7c2ed380bcf9b5de]
   to [5ccc00e5dbba72f94e045b8561badad0d85e03ec]
============================================================
--- texinfo.css	165cba0777b56f8bfdd8a89a7c2ed380bcf9b5de
+++ texinfo.css	5ccc00e5dbba72f94e045b8561badad0d85e03ec
@@ -40,7 +40,7 @@ div.node p {
     margin: 0;
     margin-right: 20px;
     padding-right: 20px;
-    padding-top: 1px;
+    padding-top: 2px;
     font-weight: bold;
     color: transparent;
     font-size: 0px;
@@ -52,13 +52,13 @@ div.node p a {
 }
 
 div.node p a {
-    color: #474747;
+    color: black;
     margin-left: 20px;
     font-weight: normal;
     text-decoration: none;
     padding-left: 21px;
-    font-size: 15px;
-    line-height: 26px;
+    font-size: 13px;
+    line-height: 25px;
     background-repeat: no-repeat;
     background-position: left center;
     vertical-align: bottom;
============================================================
# images/go-next.png is binary
============================================================
# images/go-previous.png is binary
============================================================
# images/go-up.png is binary