+# Revision 1.11 2007/12/08 14:29:06 fabiankeil
+# Use CSS to let the URL and pattern input fields scale with
+# the browser width and try to prevent vertical scroll bars
+# if the width is less than 80 characters. Closes #1843596,
+# thanks to Gerry Murphy and Lee.
+#