# HG changeset patch
# User casties
# Date 1369830087 -7200
# Node ID 28145eeb2e3cfcfbf79df6c4e97b17c5160e4c04
# Parent  aaa2609ea97dca6f48d913cb3bfbcf69445730b9
project thumbs.

diff -r aaa2609ea97d -r 28145eeb2e3c css/mpiwg.css
--- a/css/mpiwg.css	Wed May 29 11:29:02 2013 +0200
+++ b/css/mpiwg.css	Wed May 29 14:21:27 2013 +0200
@@ -603,14 +603,14 @@
 }
 
 /* project page toolbox with thumbs */
-div.tool.box div.box.thumbs {
+div.tool.box div.thumbs {
     width: 420px;
 }
 
-div.box.thumbs div.thumb {
+div.thumbs div.thumb {
     display: inline;
 }
-div.box.thumbs div.thumb img {
+div.thumbs div.thumb img {
     width: 55px;
     height: 34px;
 }