# HG changeset patch
# User casties
# Date 1362755878 -3600
# Node ID aca0fce3824bd866efd5a418f7d73b79d151113c
# Parent  69d221c3e010f8f0cc897e8970f3822f57eca4d6
style for tool-box checkboxes.

diff -r 69d221c3e010 -r aca0fce3824b css/mpiwg.css
--- a/css/mpiwg.css	Mon Mar 04 19:22:27 2013 +0100
+++ b/css/mpiwg.css	Fri Mar 08 16:17:58 2013 +0100
@@ -502,6 +502,23 @@
     font-size: 14px;
 }
 
+div.tool.block div.checkbox {
+	margin-top: 20px;
+}
+
+div.tool.block div.checkbox input.checkbox {
+	/* checkbox uses border-box. don't ask */
+	width: 24px;
+	height: 24px;
+	margin: 0;
+	/* TODO: this should be an image */
+	background-color: white;
+}
+
+div.tool.block div.checkbox h3 {
+	display: inline;
+}
+
 /*
  * sources and websites
  */