GUI -- Tables with the "fixed-header" directive using ng-repeat will have fixed headers while the body will scroll.

Change-Id: Ia1fed45e8da28375df3c34c068104802739e3c11
diff --git a/web/gui/src/main/webapp/app/common.css b/web/gui/src/main/webapp/app/common.css
index fb2b4d0..5b61b742 100644
--- a/web/gui/src/main/webapp/app/common.css
+++ b/web/gui/src/main/webapp/app/common.css
@@ -26,12 +26,8 @@
     border-spacing: 0;
 }
 
-/* TODO: delete overflow and block (handled by fixed-header directive) */
 table.summary-list tbody {
-    height: 500px;
     border-radius: 0 0 8px 8px;
-    overflow: auto;
-    display: block;
 }
 
 .light table.summary-list tr:nth-child(even) {
@@ -66,7 +62,7 @@
 }
 
 table.summary-list td {
-    padding: 5px;
+    padding: 10px;
     text-align: center;
 }
 .dark table.summary-list td {