--- a/templates/static/style-paper.css Tue Nov 25 22:51:10 2008 +0100
+++ b/templates/static/style-paper.css Tue Nov 25 22:32:11 2008 +0100
@@ -110,6 +110,10 @@
vertical-align: baseline;
}
+ul#graphnodes .branchhead {
+ font-size: 75%;
+}
+
.branchname {
color: #000;
font-size: 60%;