#
#
# patch "texinfo.css"
#  from [907cdee4818867c09e87ff0d4483c6a5bae4d5bf]
#    to [b308324f50c748e6b2200e22e7be6637670d58da]
#
============================================================
--- texinfo.css	907cdee4818867c09e87ff0d4483c6a5bae4d5bf
+++ texinfo.css	b308324f50c748e6b2200e22e7be6637670d58da
@@ -7,6 +7,8 @@ div.node {
 h1.settitle,
 div.node {
     position: fixed;
+    top: 0;
+    margin: 0 -20px;
     width: 100%;
     background: url(images/bg.png);
     padding: 20px;
@@ -18,14 +20,6 @@ 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";
 }