changeset 165:2662a043391d

style for jump_top
author casties
date Thu, 06 Jun 2013 19:59:41 +0200
parents 238b36c1a355
children 6e0bea9510c9 9e4001404792
files css/mpiwg.css
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/css/mpiwg.css	Thu Jun 06 19:45:56 2013 +0200
+++ b/css/mpiwg.css	Thu Jun 06 19:59:41 2013 +0200
@@ -834,6 +834,10 @@
     margin-top: 0;
 }
 
+div.box + div.jump_top {
+    margin-top: -10px;
+}
+
 /*
  * small box with thumbnail
  */