From 3f081ced2d1b93c787db89acca54aca2a7b27749 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Tue, 23 Sep 2014 21:06:34 -0400
Subject: [PATCH] help

---
 .../meta/pkg-index/official/static/index.html          | 10 +++++++++-
 .../meta/pkg-index/official/static/style.css           |  6 +++++-
 2 files changed, 14 insertions(+), 2 deletions(-)

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 b4248ad477..d38bb39980 100644
--- a/pkgs/plt-services/meta/pkg-index/official/static/index.html
+++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html
@@ -30,7 +30,15 @@
       <span><a href="/">Packages</a></span>
       <span id="logout"></span>
     </div>
-    <p id="search_menu"></p>
+    <div>
+      <p id="search_help">Package search filters are
+      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
+      status.</p>
+      <p id="search_menu"></p>
+    </div>
 
     <div id="login" class="package">
       <table>
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 c6f6fbdb1c..045fa5625e 100644
--- a/pkgs/plt-services/meta/pkg-index/official/static/style.css
+++ b/pkgs/plt-services/meta/pkg-index/official/static/style.css
@@ -65,12 +65,16 @@ table.packages tbody tr.even {
     color: red;
 }
 
+#search_help {
+    text-align: center;
+    margin-bottom: 0em;
+}
 #search_menu {
     text-align: left;
     width: 95%;
     margin-left: 1em;
     margin-right: 1em;
-    margin-top: 0.5em;
+    margin-top: 0em;
     margin-bottom: 0.5em;
 }