# HG changeset patch # User casties # Date 1370026770 -7200 # Node ID 195c4f6faa0c10a4caf72fd4eba82822dbe3c2cb # Parent 529d397e04f61294152ed33639d033f09bdb0b41 more style diff -r 529d397e04f6 -r 195c4f6faa0c css/mpiwg.css --- a/css/mpiwg.css Fri May 31 20:51:39 2013 +0200 +++ b/css/mpiwg.css Fri May 31 20:59:30 2013 +0200 @@ -88,11 +88,6 @@ margin: 1em 0 0.5em 0; } -div > h2:first-child { - /* does this work correctly? */ - margin-top: 0; -} - h3 { color: #3b4186; font-size: 14px;