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 b5c6eb7ab73ffc4018a20c57c4035a63f531a5d3..72ceb5ecd05b5c8969eb4eb831c9ccb1c8d1b658 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 {