changeset 32:6891732a148f

styles for sources.
author casties
date Tue, 23 Apr 2013 20:54:02 +0200
parents b12d80f033fb
children 01b5265264b6
files css/mpiwg.css
diffstat 1 files changed, 13 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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;
 }