def jumpTable(prefix, *args):
    """
    Return a string consisting of a series of <a href='#prefix-xxx'>xxx</a>.
    Include <font size='1'></font> around all of it.
    """
    header = "<font size='1'>"
    sep = ""
    for table in args:
        header = header + sep + "<a href='#" + prefix + "-" + table + "'>" + table + "</a> "
        sep = " | "
    header = header + "</font>"
    return header