Updated plugin list styling.

Removed some obsolete CSS, and fixed large margin between summary and
general messages cards.

resources/report/css/overrides.css

@@ -93,12 +93,6 @@ html /deep/ paper-dropdown > div {
     margin: 12px;
 }
 
-/* This stops the main core-list having its own scrollbars. */
-#main > core-list {
-    overflow-y: initial !important;
-    transform-style: preserve-3d;
-}
-
 /* Center paper-dropdown-menu text better. */
 html /deep/ paper-dropdown-menu {
     padding-top: 0;

resources/report/css/style.css

@@ -54,11 +54,12 @@ div[drawer] > div, div[drawer] > core-toolbar {
     border-right: 1px rgba(0, 0, 0, 0.12) solid;
 }
 #main {
-    overflow-y: auto;
-    overflow-x: hidden;
+    overflow: auto;
     position: relative;
     z-index: 0;
-    height: calc(100% - 56px);
+}
+#main > core-list {
+    transform-style: preserve-3d;
 }
 #cardsNav {
     margin: 0;
@@ -82,10 +83,9 @@ paper-item > a {
 
 section {
     background:white;
-    overflow:hidden;
     margin:1em;
+    margin-bottom: 0;
     padding:1em;
-    position: relative;
     border-top-left-radius: 2px;
     border-top-right-radius: 2px;
     border-bottom-right-radius: 2px;