diff --git a/pkgs/plt-services/meta/pkg-index/official/static/favicon.ico b/pkgs/plt-services/meta/pkg-index/official/static/favicon.ico new file mode 100644 index 0000000000..70627fc53e Binary files /dev/null and b/pkgs/plt-services/meta/pkg-index/official/static/favicon.ico differ diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html index 545d96adb3..fdcfa0647a 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.html +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html @@ -35,7 +35,7 @@ below. Bold filters are used to select packages and strike-through tags are - used to reject packages. Clicking a filter will toggle its + used to omit packages. Clicking a filter will toggle its status.
@@ -95,10 +95,10 @@Loading... +
Loading...
Updated Recently | Package | Description | diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.js b/pkgs/plt-services/meta/pkg-index/official/static/index.js index 46e60e8ec5..1ff6afe4c7 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.js +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.js @@ -502,6 +502,8 @@ $( document ).ready(function() { var snames = names.sort(function(a,b) { return ((a < b) ? -1 : ((a > b) ? 1 : 0)); }) + $("#packages_headers").show(); + $.each( snames, function (name_i) { var name = snames[name_i]; add_package_to_list ( pkgdb[name] ); }); @@ -570,6 +572,7 @@ $( document ).ready(function() { $( "#login_confirm_row" ).hide(); $( "#login_code_row" ).hide(); + $("#packages_headers").hide(); function menu_logout () { logged_in = false; diff --git a/pkgs/plt-services/meta/pkg-index/official/static/style.css b/pkgs/plt-services/meta/pkg-index/official/static/style.css index 83a6dc99f1..5bf2afce9e 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/style.css +++ b/pkgs/plt-services/meta/pkg-index/official/static/style.css @@ -35,6 +35,13 @@ body { text-decoration: underline; } +#packages_loading { + text-align: center; + font-size: 400%; + font-family: Sans-Serif; + margin: 1em; +} + #logout { float: right; }
---|