def modify_html(html):
    """ Perform style substitutions where docutils doesn't do what we want.
    """
    substitutions = {'<tt class="docutils literal">': '<code>', '</tt>':
        '</code>'}
    for old, new in substitutions.items():
        html = html.replace(old, new)
    return html
