web: minor tweaks

- allow specification of panel body class
- say "Language: default" in language selector

html/inc/bootstrap.inc

@@ -214,7 +214,7 @@ function sample_navbar(
 // output a panel.
 // $content_func is a function that generates the panel contents
 //
-function panel($title, $content_func, $class="panel-primary") {
+function panel($title, $content_func, $class="panel-primary", $body_class="") {
     echo sprintf('<div class="panel %s">
         ', $class
     );
@@ -225,9 +225,9 @@ function panel($title, $content_func, $class="panel-primary") {
             </div>
         ';
     }
-    echo '
-        <div class="panel-body">
-    ';
+    echo sprintf('<div class="panel-body %s">
+        ', $body_class
+    );
     $content_func();
     echo '
         </div>

html/inc/language_names.inc

@@ -65,7 +65,7 @@ function language_select($cur_lang_name) {
     $supported_languages[] = "en";
     $sel = $cur_lang_name?"":"selected";
     echo "
-        <option $sel value=auto> Browser default
+        <option $sel value=auto>Language: default
     ";
     foreach ($language_names as $lang) {
         if (!in_array($lang[0], $supported_languages)) continue;

html/inc/util.inc

@@ -1155,8 +1155,8 @@ function google_search_form($url) {
         <form method=get action=\"https://google.com/search\">
         <input type=hidden name=domains value=\"$url\">
         <input type=hidden name=sitesearch value=\"$url\">
-        <input class=small name=q size=20>
-        <input class=small type=submit value=".tra("Search").">
+        <input name=q size=20>
+        <input type=submit value=".tra("Search").">
         </form>
         </nobr>
     ";