#
#
# patch "texinfo.css"
#  from [7c93a8e72c96138811afbd0e3e49982b22e329b5]
#    to [907cdee4818867c09e87ff0d4483c6a5bae4d5bf]
#
============================================================
--- texinfo.css	7c93a8e72c96138811afbd0e3e49982b22e329b5
+++ texinfo.css	907cdee4818867c09e87ff0d4483c6a5bae4d5bf
@@ -8,7 +8,6 @@ div.node {
 div.node {
     position: fixed;
     width: 100%;
-    margin: -20px -20px 0;
     background: url(images/bg.png);
     padding: 20px;
     font-size: 2.5em;
@@ -19,6 +18,14 @@ div.node {
     border-bottom: 1px solid #474747;
 }
 
+h1.settitle {
+    margin: -20px -20px 0;
+}
+
+div.node {
+    margin: -100px -20px 0;
+}
+
 div.node:before {
     content: "monotone documentation";
 }
@@ -41,7 +48,7 @@ div.node p a {
 
 div.node p a {
     color: white;
-    margin: 10px;
+    margin-left: 20px;
     font-weight: normal;
     text-decoration: none;
     border-bottom: 1px white dotted;