Minor format change

templates/gracedb/query_help_frag.html

 
 <div id="hints" style="display: none;">
- <h5>By GPS Time</h5>
+ <h4>By GPS Time</h4>
   Specifiy an exact GPS time, or a range.
   Integers will be assumed to be GPS times, making the <code>gpstime:</code>
   keyword optional.
@@ -10,7 +10,7 @@
      <li><code>gpstime: 999999000..999999999</code></li>
   </ul>
 
- <h5>By Creation Time</h5>
+ <h4>By Creation Time</h4>
   Creation time may be indicated by an exact time or a range.  Date/times are
   in the format <code>2009-10-20 13:00:00</code>.  If the time is omitted, it
   is assumed to be <code>00:00:00</code>.  Dates may also consist of certain
@@ -23,7 +23,7 @@
      <li><code>created: 1 week ago .. now</code></li>
   </ul>
 
- <h5>By Graceid</h5>
+ <h4>By Graceid</h4>
   GraceIds can be specified either individually, or as a range.
   The <code>gid:</code> keyword is optional.
   <ul>
@@ -32,7 +32,7 @@
    <li>G2011 G2032 G2033</li>
   </ul>
 
- <h5>By Group and Analysis Type</h5>
+ <h4>By Group and Analysis Type</h4>
   The <code>group:</code> and <code>type:</code> keywords are optional.  Group and analysis type names are case-insensitive.  Note that events in the Test group will not be shown unless explicitly requested.
   <ul>
    <li>CBC Burst</li>
@@ -41,7 +41,7 @@
    <li>Burst Omega</li>
   </ul>
 
- <h5>By Label</h5>
+ <h4>By Label</h4>
   You may request only events that have a certain label.  The <code>label:</code> keyword
   is optional.  Note that specifying multiple labels is an "OR" operation.  More complex
   expressiveness is on the 'todo' list.