More file-list layout tweaks

Change-Id: Id44f2c47db9ec026b1af761899be4f8f566f4e93
diff --git a/polygerrit-ui/app/elements/change/gr-file-list-header/gr-file-list-header.html b/polygerrit-ui/app/elements/change/gr-file-list-header/gr-file-list-header.html
index e0dd5d5..57b3c10 100644
--- a/polygerrit-ui/app/elements/change/gr-file-list-header/gr-file-list-header.html
+++ b/polygerrit-ui/app/elements/change/gr-file-list-header/gr-file-list-header.html
@@ -46,12 +46,11 @@
         border-top: 1px solid #ddd;
         display: flex;
         min-height: 3.2em;
-        padding: .5em calc(var(--default-horizontal-margin) / 2);
+        padding: .5em var(--default-horizontal-margin);
       }
       .patchInfo-header-wrapper {
         align-items: center;
         display: flex;
-        margin: 0 .25em;
         width: 100%;
       }
       .patchInfo-left {
@@ -141,7 +140,7 @@
     <div class$="patchInfo-header [[_computeEditLoadedClass(editLoaded)]] [[_computePatchInfoClass(patchNum, allPatchSets)]]">
       <div class="patchInfo-header-wrapper">
         <div class="patchInfo-left">
-          <span class="label">Files</span>
+          <h3 class="label">Files</h3>
           <gr-patch-range-select
               id="rangeSelect"
               comments="[[comments]]"
@@ -190,7 +189,6 @@
       </div>
     </div>
     <div class="fileList-header">
-      <div>Files</div>
       <div class="rightControls">
         <template is="dom-if"
             if="[[_fileListActionsVisible(shownFileCount, _maxFilesForBulkActions)]]">
diff --git a/polygerrit-ui/app/elements/change/gr-file-list/gr-file-list.html b/polygerrit-ui/app/elements/change/gr-file-list/gr-file-list.html
index 1a164b6..f31841f 100644
--- a/polygerrit-ui/app/elements/change/gr-file-list/gr-file-list.html
+++ b/polygerrit-ui/app/elements/change/gr-file-list/gr-file-list.html
@@ -42,7 +42,7 @@
         border-top: 1px solid #ddd;
         display: flex;
         height: 2.25em;
-        padding: 0 calc(var(--default-horizontal-margin) / 2 + .25em);
+        padding: 0 var(--default-horizontal-margin);
       }
       :host(.loading) .row {
         opacity: .5;