Please cherry-pick:

- removed with JQuery-UI conflicting CSS properties

diff --git a/web/resources/css/layout.css b/web/resources/css/layout.css
index a3e22a511c02ff9019f423d11f6178e8db56537b..f5e91104e54445cfab592c1ac08d205c5c10465a 100644 (file)
--- a/web/resources/css/layout.css
+++ b/web/resources/css/layout.css
@@ -38,8 +38,9 @@ div, table {
        margin-left: 190px;
 }
 
-.table-footer {
-       margin: 2px;
+.page-footer {
+       background-color: lightblue;
+       overflow: auto;
 }
 
 .page-header a:link, .page-header a:visited {