Little notes

pkgs/plt-services/meta/pkg-index/official/static/index.html

@@ -35,7 +35,7 @@
       below. <span style="font-weight: bold;">Bold</span> filters are
       used to select packages and <span style="font-weight: bold;
       text-decoration: line-through;">strike-through</span> tags are
-      used to reject packages. Clicking a filter will toggle its
+      used to omit packages. Clicking a filter will toggle its
       status.</p>
       <p id="search_menu"></p>
     </div>
@@ -95,10 +95,10 @@
       <div id="pi_install" class="install">Install this package with:<br><br><tt>raco pkg install <span id="pi_name_inst"></span></tt><br><br>or, with the 'File|Install Package...' menu option in DrRacket.</div>
     </div>
 
-    <p id="packages_loading" style="text-align: center;">Loading...</td></tr>
+    <p id="packages_loading">Loading...</td></tr>
     <table class="packages sortable">
       <thead>
-        <tr>
+        <tr id="packages_headers">
           <th>Updated Recently</th>
           <th>Package</th>
           <th>Description</th>

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;

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;
 }