--- modules/filter.module       2006-08-21 10:31:54.000000000 +0400
+++ modules/filter.module       2006-08-21 10:32:46.000000000 +0400
@@ -915,7 +915,7 @@

   $multiple = count($tips) > 1;
   if ($multiple) {
-    $output = t('input formats') .':';
+    $output = t('<div class=inputformats>input formats') .':';
   }

   if (count($tips)) {
@@ -942,7 +942,7 @@
       }
     }
     if ($multiple) {
-      $output .= '</ul>';
+      $output .= '</ul></div>';
     }
   }

@@ -1369,4 +1369,3 @@
 /**
  * @} End of "Standard filters".
  */
-