# HG changeset patch
# User casties
# Date 1370541581 -7200
# Node ID 2662a043391dbf94b2869a9043f56cdf85ad3289
# Parent  238b36c1a3559f47e704970ea76334b0cda2a17c
style for jump_top

diff -r 238b36c1a355 -r 2662a043391d css/mpiwg.css
--- 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
  */