src/css/LdtPlayer.css
branchpopcorn-port
changeset 484 479a74f9ddf8
parent 483 0bb36c79836c
child 486 b1191f621343
--- a/src/css/LdtPlayer.css	Mon Dec 19 16:04:14 2011 +0100
+++ b/src/css/LdtPlayer.css	Mon Dec 19 16:08:09 2011 +0100
@@ -20,6 +20,7 @@
     .Ldt-SegmentsWidget {
      /* overflow: auto; /* clear the floats */
       margin-top: 1px;
+      padding-bottom: 8px; /* FIXME: only a temporary fix. This should be put into the layout manager. */
     }
 
     .Ldt-iri-chapter{