# HG changeset patch
# User casties
# Date 1366743242 -7200
# Node ID 6891732a148f851ce1f70b765a4d91f3558351ad
# Parent  b12d80f033fbf9d3be5ceddfb483bbee7ab33ab2
styles for sources.

diff -r b12d80f033fb -r 6891732a148f css/mpiwg.css
--- a/css/mpiwg.css	Tue Apr 23 18:22:27 2013 +0200
+++ b/css/mpiwg.css	Tue Apr 23 20:54:02 2013 +0200
@@ -523,6 +523,10 @@
     padding: 0;
 }
 
+div.tool.box div.options {
+    margin-top: 10px;
+}
+
 div.tool.box div.options li {
     font-family: Georgia, Times, serif;
     font-style: italic;
@@ -532,13 +536,10 @@
     margin: 0.5em 0;
 }
 
-div.tool.box div.options {
-    margin-top: 20px;
-}
-
 div.tool.box div.atoz {
     color: #887163;
     font-size: 14px;
+    margin-top: 10px;
 }
 
 div.tool.box input.checkbox,
@@ -687,6 +688,14 @@
     height: 75px;
 }
 
+div.row.triple div.mini {
+    width: 140px;
+}
+
+div.mini.source div.thumb img {
+    /* width: 120px; */
+} 
+
 div.mini div.type {
     color: #9f917a;
 }