Index: trunk/extensions/MobileFrontend/javascripts/opensearch.js |
— | — | @@ -74,6 +74,9 @@ |
75 | 75 | var rel = i + 1; |
76 | 76 | section.value = section.value.replace( /^(?:\/\/|[^\/]+)*\//, '/' ); |
77 | 77 | html = html + "<div class=\"suggestions-result\" rel=\"" + rel + "\" title=\"" + section.label + "\"><a href='" + section.value + "'>" + section.label + "</a></div>"; |
| 78 | + if ( i < ( sections.length - 1 ) ) { |
| 79 | + html = html + '<hr />'; |
| 80 | + } |
78 | 81 | } |
79 | 82 | html = html + '</div>'; |
80 | 83 | results.innerHTML = html; |
Index: trunk/extensions/MobileFrontend/stylesheets/common.css |
— | — | @@ -16,7 +16,7 @@ |
17 | 17 | } |
18 | 18 | |
19 | 19 | .suggestions-results { |
20 | | - font-size: 1em; |
| 20 | + font-size: 1.2em; |
21 | 21 | cursor: pointer; |
22 | 22 | } |
23 | 23 | |
Index: trunk/extensions/MobileFrontend/views/layout/application.html.php |
— | — | @@ -18,7 +18,7 @@ |
19 | 19 | $endScriptTag = '"></script>'; |
20 | 20 | $javaScriptPath = $wgExtensionAssetsPath . '/MobileFrontend/javascripts/'; |
21 | 21 | |
22 | | -$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011120715' . $endScriptTag : ''; |
| 22 | +$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011120815' . $endScriptTag : ''; |
23 | 23 | |
24 | 24 | $applicationHtml = <<<EOT |
25 | 25 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
— | — | @@ -27,7 +27,7 @@ |
28 | 28 | <head> |
29 | 29 | <title>{$htmlTitle}</title> |
30 | 30 | <meta http-equiv="content-type" content="application/xhtml+xml; charset=utf-8" /> |
31 | | - <link href='{$wgExtensionAssetsPath}/MobileFrontend/stylesheets/common.css?version=10282011120715' media='all' rel='Stylesheet' type='text/css' /> |
| 31 | + <link href='{$wgExtensionAssetsPath}/MobileFrontend/stylesheets/common.css?version=10282011120815' media='all' rel='Stylesheet' type='text/css' /> |
32 | 32 | <link href='{$wgExtensionAssetsPath}/MobileFrontend/stylesheets/{$cssFileName}.css?version=10202011120715' media='all' rel='Stylesheet' type='text/css' /> |
33 | 33 | <meta name="ROBOTS" content="NOINDEX, NOFOLLOW" /> |
34 | 34 | <meta name = "viewport" content = "width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0" /> |