# HG changeset patch # User casties # Date 1370286261 -7200 # Node ID f63985f020551ad1ef8dd5bef9ba0ff8811fd84e # Parent c115a18dbbe1171d1a0f5c607c22ec89725feea8 more style diff -r c115a18dbbe1 -r f63985f02055 css/mpiwg.css --- a/css/mpiwg.css Mon Jun 03 19:55:13 2013 +0200 +++ b/css/mpiwg.css Mon Jun 03 21:04:21 2013 +0200 @@ -883,6 +883,10 @@ height: 180px; } +div.row.double > div.col { + width: 220px; +} + div.mini div.type { color: #9f917a; margin-top: 0.5em;