#85166: div around radios (checkboxes) and tweak margins

includes/form.inc

@@ -943,6 +943,7 @@ function theme_radio($element) {
  *   A themed HTML string representing the radio button set.
  */
 function theme_radios($element) {
+  $element['#children'] = '<div class="form-radios">'. $element['#children'] .'</div>';
   if ($element['#title'] || $element['#description']) {
     unset($element['#id']);
     return theme('form_element', $element, $element['#children']);

modules/system/system.css

@@ -103,6 +103,13 @@ tr.merge-up, tr.merge-up td, tr.merge-up th {
   display: inline;
   font-weight: normal;
 }
+.form-checkboxes, .form-radios {
+  margin: 1em 0;
+}
+.form-checkboxes .form-item, .form-radios .form-item {
+  margin-top: 0.4em;
+  margin-bottom: 0.4em;
+}
 .marker, .form-required {
   color: #f00;
 }