Fix file diff box header missalignment.

05storm26 · 05storm26 · commit c26bb2d8d045 · 2020-10-26T14:20:48.000+01:00
diff --git a/web_src/less/_repository.less b/web_src/less/_repository.less
@@ -1746,6 +1746,7 @@
   .diff-file-box {
     .header {
       background-color: #f7f7f7;
+      width: 100%;
     }
 
     .file-body.file-code {
