�
|�e8� � �. � d Z ddlZddlZddlZddlZddlmZ ddlmZ ddl m
Z
mZmZ ddl
mZmZmZ ddlZdgZ ed� d ed
� d ed� d
ed� d ed� diZefd�Zd� Zd� ZdZdez dz ZdZdZ G d� de� Zy# e$ r dZY �[w xY w)z�
pygments.formatters.html
~~~~~~~~~~~~~~~~~~~~~~~~
Formatter for HTML output.
:copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�StringIO)� Formatter)�Token�Text�STANDARD_TYPES)�get_bool_opt�get_int_opt�get_list_opt�
HtmlFormatter�&z&�<z<�>z>�"z"�'z'c �$ � | j |� S )z<Escape &, <, > as well as single and double quotes for HTML.)� translate)�text�tables �:/usr/lib/python3/dist-packages/pygments/formatters/html.py�escape_htmlr & |