Cut off diffbar fix

ahornace · Vladimir Kotal · commit 1b33dd2eb71d · 2018-06-09T07:57:54.000+02:00
diff --git a/web/default/style.css b/web/default/style.css
@@ -584,7 +584,7 @@ table#revisions tbody tr td p {
 
 /* *** diff page *** */
 #diffbar { /* diff navbar: contains the tabs to select diff format */
-    margin-top: 1.5ex;
+    padding-top: 1.5ex;
     border-bottom: 1px solid #999;
     white-space: nowrap;
 }

Original file line number	Diff line number	Diff line change
`@@ -584,7 +584,7 @@ table#revisions tbody tr td p {`
`584`	`584`
`585`	`585`	`/* * diff page * */`
`586`	`586`	`#diffbar { /* diff navbar: contains the tabs to select diff format */`
`587`		`- margin-top: 1.5ex;`
	`587`	`+ padding-top: 1.5ex;`
`588`	`588`	`border-bottom: 1px solid #999;`
`589`	`589`	`white-space: nowrap;`
`590`	`590`	`}`